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
eq_relations
; they carry a TypeVariableValue
along
with them.