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