sig
  val treejoin_rewrite : Optimization_walker.optimization_rewrite_rule
  val standalone_treejoin_rewrite :
    Optimization_walker.optimization_rewrite_rule
  val item_to_tuple_rewrite :
    Optimization_walker.optimization_removal_rewrite_rule
  val twig_inlining_rewrite : Optimization_walker.optimization_rewrite_rule
  val branching_twig_rewrite : Optimization_walker.optimization_rewrite_rule
  val merge_projects_rewrite : Optimization_walker.optimization_rewrite_rule
  val push_mapc_through_project :
    Optimization_walker.optimization_rewrite_rule
  val mapconcat_rewrite :
    Optimization_walker.optimization_removal_rewrite_rule
  val remove_ddo_rewrite : Optimization_walker.optimization_rewrite_rule
  val tree_pattern_rewrites :
    ((bool Pervasives.ref ->
      Logical_algebra_types.logical_compile_context ->
      Logical_algebra_types.logical_algop_expr ->
      (Logical_algebra_types.logical_algop_expr *
       Optimization_walker.sub_expr_kind * int)
      option ->
      Logical_algebra_types.logical_algop_expr ->
      Logical_algebra_types.logical_algop_expr) *
     string)
    list
end