Procedure Invocation
Next: Binding
Up: Expressions
Previous: Routine Instantiation
An invocation (6.1) of a procedure with exactly one result can
be used as an expression. The type of the expression is the result
type of the called procedure.
theta-questions@lcs.mit.edu