fact: Definition forAllMaybe {A prop : Type} {_ : Checkable prop} `{Show A} (gen : G (option A)) (pf : A -> prop) : Checker := bindGen gen (fun mx => match mx with | Some x => printTestCase (show x ++ newline) (pf x) | None => checker tt end ).
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses