A closed type.

A closed type is a type which is fully resolved and bound and contains no open type variables. All instance types are closed at runtime.

You have only four sorts of types:

- `ClassOrInterface`
- `UnionType`
- `IntersectionType`
- `nothingType`

no type hierarchy

no supertypes hierarchy

- `AppliedType`
  - `ClassOrInterface`
    - `ClassModel`
      - `Class`
      - `MemberClass`
    - `InterfaceModel`
      - `Interface`
      - `MemberInterface`
  - `IntersectionType`
  - `UnionType`
  - `nothingType`

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

Methods
`exactly` | Source Code `shared formal Boolean exactly(AppliedType<Anything> type)` True if the given type is a exactly this type.
`intersection` | Source Code `shared formal AppliedType<Target&Other> intersection<Other>(AppliedType<Other> other)` The intersection of this type with the other type.
`subtypeOf` | Source Code `shared default Boolean subtypeOf(AppliedType<Anything> type)` True if this type is a subtype of the given type, or if both types are the same.
`supertypeOf` | Source Code `shared formal Boolean supertypeOf(AppliedType<Anything> type)` True if this type is a supertype of the given type, or if both types are the same.
`typeOf` | Source Code `shared formal Boolean typeOf(Anything instance)` True if the given instance is of this type, or is of a subtype of this type.
`union` | Source Code `shared formal AppliedType<Target|Other> union<Other>(AppliedType<Other> other)` The union of this type with the other type.

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