Function lattices::test::check_lattice_is_top

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

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