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