access_type_definition ::=
access
subtype_indication
By declaring an access type an access type is declared which can later be used for declaring an index variable.
incomplete_type_declaration ::=
type
identifier
By giving an incomplete type declaration it is possible to model recursive structures. The complete type declaration has to be made in the same declarative range.