sig
  val empty_sequence : Physical_value.xml_value
  val non_empty_sequence : Physical_value.xml_value
  val empty_dom_sequence : Physical_value.dom_value
  val non_empty_dom_sequence : Physical_value.dom_value
  val empty_tuple : Physical_value.tuple_unit
  val empty_tuple_opt : Physical_value.tuple_unit option
  val build_add_var_xml_value_with_ref :
    Code_selection_context.code_selection_context ->
    Variable_context_manager.variable_ref -> Physical_value.xml_value -> unit
  val build_add_var_item_list :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cvname -> Physical_value.item list -> unit
  val build_add_var_xml_value_unsafe_allowed :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cvname -> Physical_value.xml_value -> unit
  val build_add_var_xml_value_safe :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cvname -> Physical_value.xml_value -> unit
  val build_add_var_item_cursor_safe :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cvname -> Physical_value.item Cursor.cursor -> unit
  val build_var_xml_value_retrieve :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cvname -> unit -> Physical_value.xml_value
  val build_var_item_list_retrieve :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cvname -> unit -> Physical_value.item list
  val inputs_are_fs_untyped_to_any : Algebra_type.algop_expr -> bool
  val promote_atomicValue_to_highest :
    Namespace_context.nsenv -> Dm_atomic.atomicValue -> Dm_atomic.atomicValue
  val promote_atomicValue_to_all :
    Namespace_context.nsenv ->
    Dm_atomic.atomicValue -> Dm_atomic.atomicValue list
  val handle_fs_untyped_to_any_semantic :
    Namespace_context.nsenv ->
    Dm_atomic.atomicValue ->
    Dm_atomic.atomicValue * Dm_atomic.atomicValue option
  val get_physical_opname :
    Algebra_type.algop_expr -> Xquery_physical_algebra_ast.physop_expr_name
  val dxq_demangle_rqname :
    Namespace_names.rqname -> Namespace_names.rqname option
end