sig
  val build_typeswitch_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    (Xquery_algebra_ast.apattern * Xquery_common_ast.cvname option) array ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
end