pub fn inf_sup<T: Lattice>(a: &T, b: &T) -> (T, T)
Returns simultaneously the infimum and supremum of a and b.
a
b