Function lattices::test::check_lattice_ord

pub fn check_lattice_ord<T: LatticeOrd + NaiveLatticeOrd + Debug>(items: &[T])

Check that the lattice’s PartialOrd implementation agrees with the NaiveLatticeOrd partial order derived from Merge.