Module Cs_code_selection_top

module Cs_code_selection_top: sig .. end

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