lattices::test

Function check_lattice_is_bot

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

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