Skip to main content
filter_keep
vstd
In vstd::
std_
specs::
iter
vstd
::
std_specs
::
iter
Function
filter_
keep
Copy item path
Source
pub
uninterp spec
fn filter_keep<I, F>(r:
Filter
<I, F>) ->
Seq
<
bool
>
Expand description