sig
type variable_context_manager
type variable_ref
val build_context_manager :
unit -> Variable_context_manager.variable_context_manager
val instantiate_variable_context_manager :
Variable_context_manager.variable_context_manager -> unit
val build_parameter_insert_code :
Variable_context_manager.variable_context_manager ->
int -> Physical_value.xml_value -> unit
val build_variable_enter_context :
Variable_context_manager.variable_context_manager -> unit -> unit
val build_variable_exit_context :
Variable_context_manager.variable_context_manager -> unit -> unit
val build_variable_store_code :
Variable_context_manager.variable_ref -> Physical_value.xml_value -> unit
val build_variable_retrieve_code :
Variable_context_manager.variable_ref -> unit -> Physical_value.xml_value
val build_variable_assign_code :
Variable_context_manager.variable_ref ->
(unit -> Physical_value.xml_value) -> unit -> Physical_value.xml_value
val get_new_variable_slot :
Variable_context_manager.variable_context_manager ->
Variable_context_manager.variable_ref
val string_of_variable_ref :
Variable_context_manager.variable_ref -> string
end