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