Reifies a type from a tag.
Applies a type constructor to the supplied arguments.
Extracts the i-th (1-based) type argument of the applied type tpe.
Creates a new array type.
Returns the type constructor of an applied type tpe.
Creates a new function (lambda) type.
Reifies a type of kind *.
Reifies a type of kind * -> *.
Reifies a type of kind * -> * -> *.
Reifies a type of kind * -> * -> * -> *.
Returns the least upper bound of all types.
Returns a new method type (possibly generic and with multiple arg lists).
Extracts the type signature of sym (with an optional target), if any.
Returns the original type-tree corresponding to tpe.
Creates a new tuple type.
Reifies a type from a weak tag.
Returns the weak (considering coercions) least upper bound of all types.