fact: Definition updReason (r : Result) (s' : string) : Result := match r with | MkResult o e _ i s c t => MkResult o e s' i s c t end.
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses