Function lattices::test::check_lattice_morphism

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

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