Module Code_update

module Code_update: sig .. end

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