fact: Definition props {prop A : Type} `{Checkable prop} (pf : A -> prop) (shrinker : A -> list A) (x : A) : Rose Checker := props' 1000 pf shrinker x.
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses