module Optimization_predicates: sig
.. end
val is_simple_conjunct : Logical_algebra_types.logical_algop_expr -> bool
: 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