fact: Definition printTestCase {prop : Type} `{Checkable prop} (s : string) (p : prop) : Checker := callback (PostFinalFailure Counterexample (fun _st _res => trace (s ) 0)) p.
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses