sig
  val code_selection_statement :
    Compiled_program_units.compiled_program * string *
    Code_selection_context.code_selection_context ->
    Logical_algebra_types.logical_algop_expr ->
    Code_selection_context.code_selection_context * Algebra_type.algop_expr
  val code_selection_prolog :
    Compiled_program_units.compiled_program * string *
    Code_selection_context.code_selection_context ->
    Logical_algebra_types.logical_algop_prolog ->
    Code_selection_context.code_selection_context * Algebra_type.algop_prolog
  val code_selection_module :
    Compiled_program_units.compiled_program * string *
    Code_selection_context.code_selection_context ->
    Logical_algebra_types.logical_algop_xmodule ->
    Code_selection_context.code_selection_context *
    Algebra_type.algop_xmodule
end