check_lattice_ord

lattices::test

Function check_lattice_ord 

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

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