lattices::test

Function check_lattice_default_is_bot

Source 
pub fn check_lattice_default_is_bot<T: IsBot + Default>()
Expand description

Asserts that IsBot is true for Default::default().