vstd::prelude

Function choose

pub fn choose<A, F>(_f: F) -> A
where F: Fn(A) -> bool,