fact: Definition in_oc_support(A B C : Set)(x : C)(c : OracleComp A B C) := exists (S : Set)(eqds : EqDec S)(o : S -> A -> Comp (B * S))(s s' : S), In (x, s') (getSupport (c _ _ o s)).
imports: FCF.Comp FCF.Rat FCF.Fold List FCF.Blist micromega.Lia FCF.StdNat FCF.NotationV1 FCF.EqDec