Expand description
Core type system representations for Husk.
This crate defines the internal type language used by the type checker.
Structs§
- Type
VarId - Identifier for a type variable used during type checking / inference.
Enums§
- Primitive
Type - Primitive types built into Husk.
- Type
- A type in Husk’s core type language.