sig
  val build_default_overloaded_fn_code :
    Code_selection_context.code_selection_context ->
    Xquery_common_ast.cfname ->
    int ->
    Xquery_algebra_ast.aoverloaded_signature_table ->
    Execution_context.algebra_context ->
    Physical_value.item list array -> Physical_value.item list
  val build_overloaded_fn_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    (Xquery_common_ast.cfname * int) *
    Xquery_algebra_ast.aoverloaded_signature_table ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
end