Structsยง
- TyVid
EqKey ๐These structs (a newtyped TyVid) are used as the unification key for theeq_relations
; they carry aTypeVariableValue
along with them. - Type
Variable ๐Data - Type
Variable ๐Storage - Type
Variable ๐Table
Enumsยง
- Type
Variable ๐Value