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