fact: Definition callback {prop : Type} `{Checkable prop} (cb : Callback) : prop -> Checker := mapTotalResult (fun r => addCallback r cb).
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses