Unit
The unit type.
Type members
Value members
Inherited methods
The identifier of the class corresponding to this type.
The identifier of the class corresponding to this type.
- Inherited from:
- RefKind
Create a new instance of type T with elements taken from product p.
Create a new instance of type T with elements taken from product p.
- Inherited from:
- Singleton
true iff the referenced type is exactly the type denoted by this.
true iff the referenced type is exactly the type denoted by this.
Given an instance r of RefKind denoting a reference to some time
T, r.isExact holds iff the referenced type is exactly T and not a
subtype thereof. The optimizer may be able to compute the exact variant
of an arbitrary reference after it has replaced a virtual call.
- Inherited from:
- RefKind
true iff instances of this type are nullable.
true iff instances of this type are nullable.
- Inherited from:
- RefKind