Trait evmil::source ·
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.
impl<T: JoinInto + Bottom> JoinSemiLattice for T