sig
  val pull_up_ttp_as_treejoin : Optimization_walker.optimization_rewrite_rule
  val push_down_ttp_as_treejoin :
    Optimization_walker.optimization_rewrite_rule
  val ttp_to_treejoin_generic : Optimization_walker.optimization_rewrite_rule
  val map_to_from_rewrite : Optimization_walker.optimization_rewrite_rule
  val pull_up_conservative : Optimization_walker.optimization_rewrite_rule
  val treejoin_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