fact: Definition enumeratingOpt {A} (g : E (option A)) (f : A -> option bool) (n : nat) : option bool := lazylist_backtrack_opt (run g n) f false.
imports: ZArith List mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool ssrnat) Numbers.BinNums Classes.RelationClasses ExtLib.Structures(Functor Applicative) QuickChick(Sets Tactics Producer LazyList RandomQC)