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