Function vstd::std_specs::vec::ex_vec_reserve

source · 
pub exec fn ex_vec_reserve<T, A: Allocator>(vec: &mut Vec<T, A>, additional: usize)
Expand description
ensures
vec@ == old(vec)@,