vstd
In vstd::
std_
specs::
vec
vstd
::
std_specs
::
vec
Function
spec_vec_len
Copy item path
Source
pub
uninterp
fn spec_vec_len<T, A:
Allocator
>(v: &
Vec
<T, A>) ->
usize
Expand description