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