Structs§
- TyVid
EqKey 🔒 - These structs (a newtyped TyVid) are used as the unification key
for the
eq_relations; they carry aTypeVariableValuealong with them. - Type
Variable 🔒Data - Type
Variable Origin - Type
Variable 🔒Storage - Type
Variable 🔒Table
eq_relations; they carry a TypeVariableValue along
with them.