pub fn extremes(decls: &[ValueDecl], pick: impl FnMut() -> bool) -> Vec<Values>
Every element at its lower or upper bound, chosen by pick: the bang-bang extremes fuzzing plays.
pick