fact: Definition debug_stamps s {A : Type} (r : Result) (x : A) := trace (s ++ (ShowFunctions.string_concat ( (ShowFunctions.intersperse " @ "%string (stamp r)))) ++ nl) x.
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses