fact: Record Result := MkResult { ok : option bool; expect : bool; reason : string; interrupted : bool; stamp : list string; callbacks : list Callback; result_tag : option string }.
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses