predicate lex_less_bool(array[int] of var bool: x,
                        array[int] of var bool: y) ::mzn_deprecated("2.6.0","https://www.minizinc.org/doc-2.6.0/en/lib-globals.html#deprecated");
predicate lex_lt_bool(array[int] of var bool: x,
                      array[int] of var bool: y) ::mzn_deprecated("2.6.0","https://www.minizinc.org/doc-2.6.0/en/lib-globals.html#deprecated");
