Returns a Boolean value indicating whether the sequence precedes another sequence in a lexicographical (dictionary) ordering, using the given predicate to compare elements.
A sequence to compare to this sequence.
A predicate that returns
trueif its first argument should be ordered before its second argument; otherwise,
true if this sequence precedes
other in a dictionary ordering as ordered by
The predicate must be a strict weak ordering over the elements. That is, for any elements
c, the following conditions must hold:
areInIncreasingOrder(a, a)is always
areInIncreasingOrder(b, c)are both
areInIncreasingOrder(a, c)is also
true. (Transitive comparability)
Two elements are incomparable if neither is ordered before the other according to the predicate. If
bare incomparable, and
care incomparable, then
care also incomparable. (Transitive incomparability)