Types: Classes

A class is a user-defined type that is used to model an object in the context of object-oriented programming. A class type can extend (that is, inherit from) other classes, it can implement interfaces, and it can use traits.

Class types are described in $$.

See the discussion of type refinement.