Module Optimization_rewrite

module Optimization_rewrite: sig .. end

val rewrite_expression : Logical_algebra_types.logical_compile_context ->
Logical_algebra_types.logical_algop_expr ->
Logical_algebra_types.logical_algop_expr