Array type.
Class (or interface) type.
Record type.
Reference types (allowed for classOf[], is/asInstanceOf[]).
Type of an term (expression or statement) in the IR.
Any type (the top type of this type system).
Boolean type.
Double type (64-bit).
Float type (32-bit).
32-bit signed integer type.
64-bit signed integer type.
No type.
Nothing type (the bottom type of this type system).
The type of null.
String type.
The type of undefined.
Tests whether a type lhs is a subtype of rhs (or equal).
Tests whether a type lhs is a subtype of rhs (or equal).
NoType is never a subtype or supertype of anything (including
itself). All other types are subtypes of themselves.
A function testing whether a class/interface is a subclass of another class/interface.
Generates a literal zero of the given type.