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 classes.

See the discussion of type refinement.