sig
  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
end