fact: Definition tag {prop : Type} {_ : Checkable prop} (t : string) : prop -> Checker := mapTotalResult (fun res => setTag res t).
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses