An open type.

An open type is a type which may contain unbound type variables, such as `List<T>`.

no type hierarchy

no supertypes hierarchy

- `OpenType` of
  - `OpenClassOrInterfaceType`
    - `OpenClassType`
    - `OpenInterfaceType`
  - `OpenIntersection`
  - `OpenTypeVariable`
  - `OpenUnion`
  - `nothingType`

Inherited Attributes
Attributes inherited from: `Object` `Object.hash`, `Object.string`

Inherited Methods
Methods inherited from: `Object` `Object.equals()`