fact: Definition cover {prop : Type} {_ : Checkable prop} (b : bool) (n : nat) (s : string) : prop -> Checker := if b then mapTotalResult (fun res => let '(MkResult o e r i st c t) := res in MkResult o e r i (s :: st) c t) else checker.
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses