fn check_der_ordering<T: DerOrd>(a: &T, b: &T) -> Result<()>
Ensure set elements are lexicographically ordered using DerOrd.
DerOrd