pub trait Top { const TOP: Self; }
Defines an abstract value which has a specific TOP value in the lattice.