Module Optimization_judge

module Optimization_judge: sig .. end

val map_tuple_independent : Logical_algebra_types.logical_algop_expr ->
       Logical_algebra_types.logical_algop_expr -> bool

val natural_tuple_independent : Logical_algebra_types.logical_algop_expr ->
       Logical_algebra_types.logical_algop_expr -> bool

val has_non_trivial_snap : Logical_algebra_types.logical_compile_context ->
       Logical_algebra_types.logical_algop_expr -> bool

val has_trivial_snap : Logical_algebra_types.logical_compile_context ->
       Logical_algebra_types.logical_algop_expr -> bool

val has_side_effect : Logical_algebra_types.logical_compile_context ->
       Logical_algebra_types.logical_algop_expr -> bool

val side_effect_free : Logical_algebra_types.logical_compile_context ->
       Logical_algebra_types.logical_algop_expr -> bool

val contains_update : Logical_algebra_types.logical_algop_expr -> bool

val subexpr_has_side_effect : Logical_algebra_types.logical_compile_context ->
       Logical_algebra_types.logical_algop_sub_exprs -> bool

val has_dependent_side_effect : Logical_algebra_types.logical_compile_context ->
       Logical_algebra_types.logical_algop_expr -> bool

val commute_logical : Logical_algebra_types.logical_compile_context ->
       Logical_algebra_types.logical_algop_expr ->
       Logical_algebra_types.logical_algop_expr -> bool

val commute_logical_with_array : Logical_algebra_types.logical_compile_context ->
       Logical_algebra_types.logical_algop_expr ->
       Logical_algebra_types.logical_algop_expr array -> bool

val is_singleton_tuple : Logical_algebra_types.logical_compile_context ->
       Logical_algebra_types.logical_algop_expr -> bool

val ord_dup_matters : Logical_algebra_types.logical_algop_expr ->
       Logical_algebra_types.logical_algop_expr -> bool

val is_seq_field : Xquery_common_ast.crname -> bool