A TypeStack agrees with another one if they have the same length and each type kind agrees position-wise.
A TypeStack agrees with another one if they have the same length and each type kind agrees position-wise. Two types agree if one is a subtype of the other.
Drop the first n elements of the stack.
Drop the first n elements of the stack.
Removes the value on top of the stack, and returns it.
Removes the value on top of the stack, and returns it. It assumes the stack contains at least one element.
Return the topmost two values on the stack.
Return the topmost two values on the stack. It assumes the stack is large enough. Topmost element first.
Return the topmost three values on the stack.
Return the topmost three values on the stack. It assumes the stack is large enough. Topmost element first.
Push a type on the type stack.
Push a type on the type stack. UNITs are ignored.