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 @endo/patterns!) where they overlap ---
FullCompare(key1, key2) === 0 iff KeyCompare(key1, key2) === 0.
A function that refines
RankCompareinto a total order over its inputs by making arbitrary choices about the relative ordering of values within the same rank. LikeRankComparebut even more strongly, it is expected to agree with aKeyCompare(@see @endo/patterns!) where they overlap ---FullCompare(key1, key2) === 0iffKeyCompare(key1, key2) === 0.