Function vstd::std_specs::hash::ex_hash_set_reserve

source · 
pub exec fn ex_hash_set_reserve<Key, S>(m: &mut HashSet<Key, S>, additional: usize)
where
    Key: Eq + Hash,
    S: BuildHasher,
Expand description
ensures
m@ == old(m)@,