tagged types

tagged types

(programming)Ada's type mechanism in which types can beextended via single inheritance.