☰
vstd
In vstd::std_specs::vec
?
Function
vstd
::
std_specs
::
vec
::
ex_vec_with_capacity
source
·
[
−
]
pub
exec
fn ex_vec_with_capacity<T>(capacity:
usize
) ->
Vec
<T>
Expand description
ensures
v@ == Seq::<T>::empty(),