fact: Definition strong_fairness (step : lb_step_relation) (silent : L) (s : infseq event) : Prop := forall l : L, l <> silent -> inf_enabled step l s -> inf_occurred l s.
imports: Verdi(Verdi) InfSeqExt(infseq exteq) Verdi(Ssrexport)