fact: Definition forAll {A prop : Type} {_ : Checkable prop} `{Show A} (gen : G A) (pf : A -> prop) : Checker := bindGen gen (fun x => printTestCase (show x ++ newline) (pf x)).
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses