What does it do? :Definition of formal parameters p1 p2 ... for subroutines.
The addition 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 any.
Use VALUE to determine how topass by values for a formal parameter p1 p2 .... Without VALUE , values are passed by reference .
With the structure addition, an obsolete form of typing can also still be used.
Latest notes: Without an explicit typing, a formal parameter is typed implicitly with the fully generic type any.