Module typ

Contains methods on the built-in Type type used for representing a type in the source program.

Functions

fresh_type_variable
Creates and returns an unbound type variable. This is a special kind of type internal to type checking which will type check with any other type. When it is type checked against another type it will also be set to that type. For example, if a is a type variable and we have the type equality (a, i32) = (u8, i32), the compiler will set a equal to u8.