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