#[derive(IsTop)]
Derives lattice IsTop.
IsTop
See #[derive(Lattice)] for more info.
#[derive(Lattice)]