Expand description
Type representation for the Specl type system.
Structs§
- Record
Type - A record type with named fields.
- Substitution
- A type substitution mapping type variables to types.
- TypeVar
- A type variable for type inference.
- Type
VarGen - Type variable generator for fresh variables.
Enums§
- Type
- A Specl type.