sig
  val default_code_selection :
    string ->
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_expr -> Code_selection_context.code_selection_context
  val sub_expr_default_code_selection :
    string ->
    Code_selection_context.code_selection_context ->
    Algebra_type.algop_sub_exprs ->
    Code_selection_context.code_selection_context
end