Module Optimization_top

module Optimization_top: sig .. end

val optimize_statement : Logical_algebra_types.logical_compile_context ->
Logical_algebra_types.logical_algop_expr ->
Logical_algebra_types.logical_algop_expr
val optimize_prolog : Logical_algebra_types.logical_compile_context ->
Logical_algebra_types.logical_algop_prolog ->
Logical_algebra_types.logical_compile_context *
Logical_algebra_types.logical_algop_prolog
val optimize_library_module : Logical_algebra_types.logical_compile_context ->
Logical_algebra_types.logical_algop_xmodule ->
Logical_algebra_types.logical_compile_context *
Logical_algebra_types.logical_algop_xmodule
val optimize_main_module : Logical_algebra_types.logical_compile_context ->
Logical_algebra_types.logical_algop_xmodule ->
Logical_algebra_types.logical_compile_context *
Logical_algebra_types.logical_algop_xmodule