Function vstd::std_specs::hash::ex_hash_set_reserve

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)@,

Function vstd::std_specs::hash::ex_hash_set_reserveCopy item path