Module Code_type_operators

module Code_type_operators: sig .. end

val build_treat_code : Code_selection_context.code_selection_context ->
       Algebra_type.algop_expr ->
       Xquery_algebra_ast.asequencetype ->
       Algebra_type.alg_eval_code_dep *
       Code_selection_context.code_selection_context

val build_validate_code : Code_selection_context.code_selection_context ->
       Algebra_type.algop_expr ->
       Xquery_common_ast.validation_mode ->
       Algebra_type.alg_eval_code_dep *
       Code_selection_context.code_selection_context

val build_cast_code : Code_selection_context.code_selection_context ->
       Algebra_type.algop_expr ->
       Namespace_context.nsenv * Xquery_algebra_ast.asequencetype ->
       Algebra_type.alg_eval_code_dep *
       Code_selection_context.code_selection_context

val build_castable_code : Code_selection_context.code_selection_context ->
       Algebra_type.algop_expr ->
       Namespace_context.nsenv * Xquery_algebra_ast.asequencetype ->
       Algebra_type.alg_eval_code_dep *
       Code_selection_context.code_selection_context