procedure_type

procedure_type ::= "PROCEDURE" [ 
      "(" [ [ "VAR" ] formal_type 
      { "," [ "VAR" ] formal_type } ] ")" 
      [ ":" qualident ] ] 

This rule is called by

-> type