Type
sealed abstract
class Type
Type of a term (expression or statement) in the IR.
There is a many-to-one relationship from TypeRefs to Types,
because java.lang.Object and JS types all collapse to AnyType.
In fact, there are two Types that do not have any real equivalent in
type refs: StringType and UndefType, as they refer to the
non-null variants of java.lang.String and java.lang.Void,
respectively.
object AnyType
class ArrayType
class ClassType
class PrimType
class PrimTypeWithRef
object BooleanType
object ByteType
object CharType
object DoubleType
object FloatType
object IntType
object LongType
object NoType
object NothingType
object NullType
object ShortType
object StringType
object UndefType
class RecordType