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.
incomplete_type_declaration ::= type defining_identifier [discriminant_part] [is tagged];
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;