Assignment
Next: Type Inclusion
Up: No Title
Previous: Equates
Assignment causes a variable to refer to an object. Assignment is a
fundamental action in Theta: all other actions, including
invocation (6.1), depend on the rules for assignment.
theta-questions@lcs.mit.edu