Ein abstrakter Typ ist ein Typ, für den es keine Objekte dieses Typs geben darf.
Ein abstrakter Typ wird deklariert, indem das reservierte Wort abstract in seiner Deklaration verwendet wird. Nur getaggte Typen dürfen abstrakt sein!
Ein einfaches Beispiel ist:
type set is abstract tagged null record;