formal_type

formal_type ::= [ "ARRAY" "OF" ] qualident 

This rule is called by

-> procedure_type