procedure_type ::= "PROCEDURE" [ "(" [ [ "VAR" ] formal_type { "," [ "VAR" ] formal_type } ] ")" [ ":" qualident ] ]
This rule is called by -> type
-> type