Module Optimization_predicates

module Optimization_predicates: sig .. end

val is_simple_conjunct : Logical_algebra_types.logical_algop_expr -> bool

val extract_pred_desc : Logical_algebra_types.logical_algop_expr -> Xquery_algebra_ast.predicate_desc

val construct_singleton_select : Logical_algebra_types.logical_algop_expr ->
       Logical_algebra_types.logical_algop_expr ->
       Xquery_ast.expr_handle ->
       Finfo.finfo -> Logical_algebra_types.logical_algop_expr

val conjunctive_merge_select : Logical_algebra_types.logical_algop_expr ->
       Logical_algebra_types.logical_algop_expr ->
       Logical_algebra_types.logical_algop_expr

val remove_conjunct : Logical_algebra_types.logical_algop_expr ->
       int -> Logical_algebra_types.logical_algop_expr option