fact: Definition mapTotalResult {prop : Type} {_ : Checkable prop} (f : Result -> Result) : prop -> Checker := mapRoseResult (fmapRose f).
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses