pascal_type_spec

pascal_type_spec 
      ::= 
      "packed" "array" 
      "[" "1" double_period length "]" 
      "of" "char" 
      [ "character" "set" [ "is" ] 
      char_set_spec ] 
      | "packed" "array" 
      "[" "1" double_period length "]" 
      "of" "bit" 
      | "integer" 
      | "real" 
      | "char" [ "character" "set" 
      [ "is" ] char_set_spec ] 
      | "bit" 

This rule is called by

-> pascal_variable_def