Module type_variable

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 🔒