lattices::test

Function check_lattice_morphism

Source 
pub fn check_lattice_morphism<LatIn, Func>(func: Func, items: &[LatIn])
where
    Func: LatticeMorphism<LatIn>,
    LatIn: Merge<LatIn> + Clone + PartialEq + Debug,
    Func::Output: Merge<Func::Output> + Clone + PartialEq + Debug,
Expand description

Checks that the LatticeMorphism is valid, i.e. that merge distributes over it.