sig
  type default_code_selection_type =
      Code_selection_context.code_selection_context ->
      Algebra_type.algop_expr ->
      Code_selection_context.code_selection_context
  val build_join_code :
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr ->
    Code_join.default_code_selection_type ->
    Algebra_type.alg_eval_code_dep *
    Code_selection_context.code_selection_context
end