FORM - parameters
Definition of formal parameters
p1 p2 ... for subroutines.
typing types a formal parameter
p1 p2 ....The syntax of
typing is described in
Typing. Typing a formal parameter has the effect that when an actual parameter is passed, its type is
checked against the typing. In addition, the typing
determines at which operand positions the formal parameter can be used in the subroutine. If no explicit typing is specified, a formal parameter is typed with the fully generic type
structure addition, an obsolete form of typing can also still be used.
Without an explicit typing, a formal parameter is typed implicitly with the fully generic type