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
}
val set : t -> unit
val get : unit -> t option