type

type ::= simple_type | array_type | record_type | set_type 
      | pointer_type | procedure_type 

This rule is called by

-> array_type
-> definition
-> field_list
-> pointer_type
-> type_declaration
-> variable_declaration