The result of a RankCompare function that defines a rank-order, i.e., a total preorder in which different elements are always comparable but can be tied for the same rank. See RankCompare.
RankCompare
The result of a
RankComparefunction that defines a rank-order, i.e., a total preorder in which different elements are always comparable but can be tied for the same rank. SeeRankCompare.