Module 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