Hold together local variable and stack state.
Hold together local variable and stack state. The equals method uses reference equality for top and bottom, and structural equality for other values.
Compute the least upper bound of a list of elements.
A complete lattice.