Lattice_type
.
With_Top