Hay que especificar el tipo apuntado que puede ser un parámetro formal genérico declarado previamente.
generic type Nodo is private; type Access_Nodo is access Nodo;