Skip to main content
skip_init_n
vstd
In vstd::
std_
specs::
iter
vstd
::
std_specs
::
iter
Function
skip_
init_
n
Copy item path
Source
pub
uninterp spec
fn skip_init_n<I>(s:
Skip
<I>) ->
usize
Expand description