Function vstd::std_specs::hash::sets_differ_by_borrowed_key

pub spec fn sets_differ_by_borrowed_key<Key, Q: ?Sized>(
    old_m: Set<Key>,
    new_m: Set<Key>,
    k: &Q
) -> bool