Trait evmil::util::JoinSemiLattice

source · 
pub trait JoinSemiLattice: JoinInto + Bottom { }
Expand description

A partially ordered set which has a join for any two elements, and includes a bottom (i.e. least) element which is below every other element. For example, the integer sets meets these requirements where the join operation is set union, and bottom is the empty set.

Implementors§

Default implementation