DebugHook.Answer
type t =
| Prompt of Pp.t
| Goal of Pp.t
| Output of Pp.t
| Init
| Stack of (string * (string * int list) option) list
| Vars of (string * Pp.t) list