Module Sxp_context

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