DebugHook.Intf
type t
=
{
read_cmd : unit -> Action.t;
request a debugger command from the client
submit_answer : Answer.t -> unit;
receive a debugger answer from Ltac
isTerminal : bool;
whether the debugger is running as a terminal (non-visual)
}
val set : t -> unit
val get : unit -> t option