Hold together local variable and stack state.
Return the bottom element.
Return the bottom element.
Compute the least upper bound of a list of elements.
Compute the least upper bound of a list of elements.
Return the least upper bound of a and b.
Return the least upper bound of a and b.
Return the top element.
Return the top element.
The type flow lattice contains a binding from local variable names to types and a type stack.