sig
  val select_physical_variable_binding :
    Code_selection_context.code_selection_context ->
    Xquery_algebra_ast.input_signature ->
    Xquery_algebra_ast.asequencetype option * Xquery_common_ast.cvname ->
    Xquery_physical_algebra_ast.physop_variable_binding
  val build_bind_item_cursor_to_variable_code :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cvname -> Physical_value.item Cursor.cursor -> unit
  val build_bind_type_checked_item_cursor_to_variable_code :
    Code_selection_context.code_selection_context ->
    Xquery_algebra_ast.asequencetype ->
    Xquery_common_ast.cvname -> Physical_value.item Cursor.cursor -> unit
  val build_bind_item_list_to_variable_code :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cvname -> Physical_value.item list -> unit
  val build_bind_type_checked_item_list_to_variable_code :
    Code_selection_context.code_selection_context ->
    Xquery_algebra_ast.asequencetype ->
    Xquery_common_ast.cvname -> Physical_value.item Cursor.cursor -> unit
  val build_bind_sax_value_to_variable_code :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cvname -> Streaming_types.typed_xml_stream -> unit
  val select_physical_tuple_binding :
    Code_selection_context.code_selection_context ->
    Xquery_algebra_ast.input_signature ->
    (Xquery_algebra_ast.asequencetype option * Xquery_common_ast.crname)
    array -> Xquery_physical_algebra_ast.physop_tuple_binding
  val build_bind_sax_value_to_tuple_field_code :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.crname -> Streaming_types.typed_xml_stream -> unit
  val build_bind_item_cursor_to_tuple_field_code :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.crname -> Physical_value.item Cursor.cursor -> unit
  val build_bind_type_checked_item_cursor_to_tuple_field_code :
    Code_selection_context.code_selection_context ->
    Xquery_algebra_ast.asequencetype ->
    Xquery_common_ast.crname -> Physical_value.item Cursor.cursor -> unit
  val build_bind_item_list_to_tuple_field_code :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.crname -> Physical_value.item list -> unit
  val build_bind_type_checked_item_list_to_tuple_field_code :
    Code_selection_context.code_selection_context ->
    Xquery_algebra_ast.asequencetype ->
    Xquery_common_ast.crname -> Physical_value.item Cursor.cursor -> unit
end