Skip to main content
into_rev_spec
vstd
In vstd::
std_
specs::
iter
vstd
::
std_specs
::
iter
Function
into_
rev_
spec
Copy item path
Source
pub
uninterp spec
fn into_rev_spec<I>(i: I) ->
Rev
<I>
Expand description