Hay que especificar el tipo de los índices y el tipo de los elementos que pueden ser a su vez parámetros formales genéricos declarados previamente.
generic type Elemento is private; type Índice is (<>); type Vector is array (Índice range <>) of Elemento;