Function vstd::std_specs::vec::ex_vec_with_capacity

source · 
pub exec fn ex_vec_with_capacity<T>(capacity: usize) -> v : Vec<T>
Expand description
ensures
v@ == Seq::<T>::empty(),