fact: Definition forAllShrinkShow {A prop : Type} {_ : Checkable prop} (gen : G A) (shrinker : A -> list A) (show' : A -> string) (pf : A -> prop) : Checker := bindGen gen (fun x => shrinking shrinker x (fun x' => printTestCase (show' x') (pf x'))).
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses