Tipos access como parámetros formales genéricos

Explicación

Hay que especificar el tipo apuntado que puede ser un parámetro formal genérico declarado previamente.

Sintaxis

formal_access_type_definition ::= access_type_definition

Ejemplo

generic
   type Nodo is private; 
   type Access_Nodo is access Nodo;