vstd::std_specs::hash

Function sets_borrowed_key_to_key

Source
pub uninterp fn sets_borrowed_key_to_key<Key, Q: ?Sized>(
    m: Set<Key>,
    k: &Q,
    v: &Key,
) -> bool
Expand description