Function vstd::std_specs::hash::ex_hash_map_reserve

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