Function libspecr::pick

pub fn pick<T: Obj>(
    distr: impl Distribution<T>,
    f: impl Fn(T) -> bool,
) -> Nondet<T>

The pick function from the minirust spec. See Non-determinism.