fact: Definition sutt (t1 : itree E R1) (t2 : itree E R2) := paco2 suttF bot2 (observe t1) (observe t2).
imports: Paco(paco) Coq(Morphisms) ITree(Axioms Basics.Utils Core.ITreeDefinition Eq.Eqit Eq.UpToTaus Eq.Shallow Eq.Paco2)