sig
  val build_tuple_to_item_map_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
  val build_item_to_tuple_map_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    Xquery_common_ast.cvname ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
  val build_some_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    Xquery_algebra_ast.asequencetype option * Xquery_common_ast.cvname ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
  val build_every_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    Xquery_algebra_ast.asequencetype option * Xquery_common_ast.cvname ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
end