Inheritance specification

Keywords: inheritance

Inheritance specifications provide the generalizations for an object type and is introduced by ':'.

Definition:

inheritance_spec := ':' base_types