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