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