fact: Definition forAllProof {A prop : Type} {C : Checkable prop} `{S : Show A} (gen : G A) (pf : forall (x : A), semProd gen x -> prop) : Checker := @bindPf G ProducerGen _ _ gen (fun x H => printTestCase (show x ++ newline) (pf x H)).
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses