Skip to main content
take_count
vstd
In vstd::
std_
specs::
iter
vstd
::
std_specs
::
iter
Function
take_
count
Copy item path
Source
pub
uninterp spec
fn take_count<I>(r:
Take
<I>) ->
usize
Expand description