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