module Sxp_context: sig
.. end
type
action = {
|
let_pass : bool ; |
|
increase_outermost_match_depth : bool ; |
|
push_label_depth_stack : bool ; |
|
set_flag : bool ; |
}
type
sxp_context
val default_sxp_context : unit -> sxp_context
val push_label_depth_stack : sxp_context -> unit
val pop_label_depth_stack : sxp_context -> int
val decrease_topmost_label_depth : sxp_context -> unit
val increase_topmost_label_depth : sxp_context -> unit
val topmost_label_depth_is_one : sxp_context -> bool
val topmost_label_depth_ge_one : sxp_context -> bool
val decrease_outermost_match_depth : sxp_context -> unit
val increase_outermost_match_depth : sxp_context -> unit
val is_inside_another_match : sxp_context -> bool
val record_action : action -> sxp_context -> unit
val get_recorded_action : sxp_context -> action