[][src]Module spec_lang::ty

Contains types and related functions.

Structs

Substitution

A type substitution.

TypeDisplay

Helper for type displays.

TypeError

Represents an type error resulting from unification.

Enums

PrimitiveType

Represents a primitive (builtin) type.

Type

Represents a type.

TypeDisplayContext

Data providing context for displaying types.

Constants

BOOL_TYPE
NUM_TYPE