pub trait LatticeOrder { fn join(self, other: Self) -> Self; fn meet(self, other: Self) -> Self; }
Component-wise maximum.
Component-wise minimum.