Module Variable_context_manager

module Variable_context_manager: sig .. end

type variable_context_manager 

type variable_ref 

val build_context_manager : unit -> variable_context_manager

val instantiate_variable_context_manager : variable_context_manager -> unit

val build_parameter_insert_code : variable_context_manager ->
       int -> Physical_value.xml_value -> unit

val build_variable_enter_context : variable_context_manager -> unit -> unit

val build_variable_exit_context : variable_context_manager -> unit -> unit

val build_variable_store_code : variable_ref -> Physical_value.xml_value -> unit

val build_variable_retrieve_code : variable_ref -> unit -> Physical_value.xml_value

val build_variable_assign_code : variable_ref ->
       (unit -> Physical_value.xml_value) -> unit -> Physical_value.xml_value

val get_new_variable_slot : variable_context_manager ->
       variable_ref

val string_of_variable_ref : variable_ref -> string