Module Optimization_rules_treepattern

module Optimization_rules_treepattern: sig .. end

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