Procedure Invocation



next up previous contents index
Next: Binding Up: Expressions Previous: Routine Instantiation

Procedure Invocation

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