Module DebugHook.Answer

type t =
| Prompt of Pp.t
| Goal of Pp.t
| Output of Pp.t