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