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