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