KeyCompare: PartialCompare<Key>

A function that implements a partial order over Keys. Key order (a partial order) and rank order (a total preorder) are co-designed to support efficient range search for Key-based queries (@see ../README.md#rank-order-and-key-order).