DebugHook
module Action : sig ... end
Ltac debugger interface; clients should register hooks to interact with their provided interface.
module Answer : sig ... end
module Intf : sig ... end