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.
class PrimType
class PrimTypeWithRef
object NothingType
object BooleanType
object CharType
object ByteType
object ShortType
object IntType
object LongType
object FloatType
object DoubleType
object NullType
object NoType
object UndefType
object StringType
object AnyType
class ClassType
class ArrayType
class RecordType