Function vstd::prelude::choose

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