fact: Definition or {E} `{nondetE -< E} {R} (t1 t2 : itree E R) : itree E R := vis Or (fun b : bool => if b then t1 else t2).
imports: Coq(List) ITree(Basics.Basics Core.ITreeDefinition Indexed.Sum Core.Subevent Events.Exception)