6.B. Composed declaration - JulTob/Ada GitHub Wiki

Una declaración incompleta de tipo (incomplete_type_declaration) introduce un nombre de tipo cuya definición se hará más adelante. Son útiles en la definición de estructuras de datos recursivas.

type Nodo_Lista;  --  Declaración incompleta

type P_Nodo_Lista is access Nodo_Lista; 

type Nodo_Lista is record  --  Declaración completa (incluye definición)
   Información : Integer;
   Siguiente   : P_Nodo_Lista; 
   end record;