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