Function lattices::test::check_lattice_is_top

pub fn check_lattice_is_top<T: IsTop + LatticeOrd + Debug>(items: &[T])

Checks that the item which is top is greater than (or equal to) all other items.