access_type_definition

access_type_definition ::= 
      access_to_object_definition 
      | access_to_subprogram_definition 

This rule is called by

-> formal_access_type_definition
-> type_definition