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