A function that refines RankCompare into a total order over its inputs by
making arbitrary choices about the relative ordering of values within the
same rank.
Like RankCompare but even more strongly, it is expected to agree with a
KeyCompare (@see ../../patterns) where they overlap ---
FullCompare(key1, key2) === 0 iff KeyCompare(key1, key2) === 0.
A function that refines
RankCompare
into a total order over its inputs by making arbitrary choices about the relative ordering of values within the same rank. LikeRankCompare
but even more strongly, it is expected to agree with aKeyCompare
(@see ../../patterns) where they overlap ---FullCompare(key1, key2) === 0
iffKeyCompare(key1, key2) === 0
.