sig
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
end