Lattice_type
.
With_Widening