Structs

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

Enums

Reasons to create a type inference variable
UndoLog 🔒
Represents a single undo-able action that affects a type inference variable.