Trait evmil::util::JoinLattice
source · pub trait JoinLattice: JoinSemiLattice + Top { }Expand description
A partially ordered set which has a join for any two elements, and includes both a bottom (i.e. least) and top (i.e. most) elements. These are respectively below (above) every other element.