Function lattices::test::check_lattice_bimorphism

pub fn check_lattice_bimorphism<LatA, LatB, Func>(
    func: Func,
    items_a: &[LatA],
    items_b: &[LatB]
)
where
    Func: LatticeBimorphism<LatA, LatB>,
    LatA: Merge<LatA> + Clone + Eq + Debug,
    LatB: Merge<LatB> + Clone + Eq + Debug,
    Func::Output: Merge<Func::Output> + Clone + Eq + Debug,

Checks that the LatticeBimorphism is valid, i.e. that merge distributes over both arguments of it.