Structs§
- Generalization 🔒
- Result from a generalization operation. This includes not only the generalized type, but also a bool flag indicating whether further WF checks are needed.
- Generalizer 🔒
- The “generalizer” is used when handling inference variables.
- MaxUniverse 🔒
- Finds the max universe present
Enums§
- TermVid 🔒