Skip to main content

borrowed_key_cmp

Function borrowed_key_cmp 

Source
pub uninterp spec fn borrowed_key_cmp<Key, Q: ?Sized>(stored_key: Key, key: &Q) -> Ordering
Expand description

The ordering of a stored key relative to a borrowed lookup key.