Trait ena::constraint::Lattice

pub trait Lattice {
    type Element: Clone + Eq;
    fn lub(&self,
       elem1: &Self::Element,
       elem2: &Self::Element)
       -> Option<Self::Element>;
}

Associated Types

type Element: Clone + Eq

Required Methods

fn lub(&self,
       elem1: &Self::Element,
       elem2: &Self::Element)
       -> Option<Self::Element>

Implementors