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