Module Optimization_rules_treejoin

module Optimization_rules_treejoin: sig .. end

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