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 #rank-order-and-key-order).
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 #rank-order-and-key-order).