Type extensions

Type extensions are extended definitions, which are part of the header for several type definitions (class, interface, view etc.). Two extensions are described in this chapter:

• Type properties
• Inheritance specifications