module Optimization_rewrite: sig .. end
sig
end
val rewrite_expression : Logical_algebra_types.logical_compile_context -> Logical_algebra_types.logical_algop_expr -> Logical_algebra_types.logical_algop_expr
Logical_algebra_types.logical_compile_context -> Logical_algebra_types.logical_algop_expr -> Logical_algebra_types.logical_algop_expr