Function vstd::std_specs::hash::sets_differ_by_borrowed_key

source · 
pub uninterp fn sets_differ_by_borrowed_key<Key, Q: ?Sized>(
    old_m: Set<Key>,
    new_m: Set<Key>,
    k: &Q,
) -> bool
Expand description