Module type_variable

Source

Structs§

TyVidEqKey 🔒
These structs (a newtyped TyVid) are used as the unification key for the eq_relations; they carry a TypeVariableValue along with them.
TypeVariableData 🔒
TypeVariableOrigin
TypeVariableStorage 🔒
TypeVariableTable 🔒

Enums§

TypeVariableValue 🔒