(programming) Ada's type mechanism in which types can be extended via single inheritance.
Last updated: 2000-02-21