Trait gcollections::ops::lattice::Lattice [−][src]
pub trait Lattice: Join + Meet + Entailment { }
Implementors
impl<R> Lattice for R where
R: Join,
R: Meet,
R: Entailment,
pub trait Lattice: Join + Meet + Entailment { }
impl<R> Lattice for R where |