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