Function pick 

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

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