sig
  val build_copy_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_delete_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_insert_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    Xquery_algebra_ast.algop_insert_location ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
  val build_rename_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    Namespace_context.nsenv ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
  val build_replace_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    Xquery_common_ast.value_of_flag ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
  val build_snap_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    Xquery_common_ast.snap_modifier ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
end