Module DebugHook.Action
Ltac debugger interface; clients should register hooks to interact with their provided interface.
type t
=
|
Step
Step one tactic
|
Skip
Skip one tactic
|
Exit
|
Help
|
RunCnt of int
|
RunBreakpoint of string
|
Failed
val parse : string -> (t, string) Stdlib.result