Alternate is a convenience method which instantiates a new Alternate type scheme, with the given args as the possible types this type may take.

AsTypeError behaves like `errors.As`, attempting to cast the type `t` into a provided `target` TypeError and returning if it was successful.

Dimension is a convenience method which instantiates a new Dimension type scheme, with the given args as the dimensions of the type.

Equals compares two types, testing for equality.

FreshType returns a new type from the provided type scheme, replacing any unbound type variables with new type variables.

Function is a convenience method, which instantiates a new Function type scheme, with the given args as parameters.

inferCaprefType determines a type for the nth capturing group in re, based on contents of that capture group.

IsAlternate returns true if the given type is an Alternate type.

IsComplete returns true if the type and all its arguments have non-variable exemplars.

IsDimension returns true if the given type is a Dimension type.

IsFunction returns true if the given type is a Function type.

IsTypeError behaves like `errors.Is`, indicating that the type is a TypeError.

LeastUpperBound returns the smallest type that may contain both parameter types.

NewVariable constructs a new unique TypeVariable.

occursIn returns true if `v` is in any of `types`.

ParseRegexp ensures we use the same regexp syntax.Flags across all invocations of this method.

Unify performs type unification of both parameter Types.

Builtin type constants.

TODO(jaq): use composite type so we can typecheck the bucket directly, e.g.

Builtins is a mapping of the builtin language functions to their type definitions.

Builtin type constants.

Builtin type constants.

Builtin type constants.

Builtin type constants.

Builtin type constants.

Numeric types can be either Int or Float.

Builtin type constants.

Builtin type constants.

Builtin type constants.

Operator represents a type scheme in the type system.

TypeError describes an error in which a type was expected, but another was encountered.

Variable represents an unbound type variable in the type system.

Type represents a type in the mtail program.