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.

TyVidSubKey 🔒

TypeVariableData 🔒

TypeVariableOrigin

TypeVariableStorage 🔒

TypeVariableTable 🔒

Enums

TypeVariableValue 🔒

UndoLog 🔒

Represents a single undo-able action that affects a type inference variable.