Trait lattices::Lattice

source · 
pub trait Lattice: Sized + Merge<Self> + LatticeOrd + NaiveLatticeOrd + IsBot + IsTop + Sealed { }
Expand description

Alias trait for lattice types.

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<T> Lattice for T
where T: Sized + Merge<Self> + LatticeOrd + NaiveLatticeOrd + IsBot + IsTop,