vstd
In vstd::
prelude
vstd
::
prelude
Function
choose
Copy item path
pub fn choose<A, F>(_f: F) -> A
where F:
Fn
(A) ->
bool
,