Structs§
- Known
Type Var - Template
Type VarID - A type which which should not be resolved directly but can be used to create new copies with unique type var ids
- Type
VarID - Type
VarString - A frozen TypeVar that can be printed for debugging purposes
Enums§
- Resolved
Named OrInverted - TypeVar
- A type variable represents the type of something in the program. It is mapped to expressions by type equations in the TypeState.
- Typed
Expression