6.D. Limited Types - JulTob/Ada GitHub Wiki

Cualquier tipo heterogéneo o privado puede declararse limitado usando la palabra limited. Un tipo limitado es uno para el que no está definida la asignación ni los operadores relacionales de igualdad.

type T1 is limited record
   ...
end record;

type T2 is limited private;