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