Macros§
- impl_
from π
Structs§
- Infer
Ctxt πUndo Logs The combined undo log for all the various unification tables. For each change to the storage for any kind of inference variable, we record an UndoLog entry in the vector here.
Enums§
- UndoLog πRecords the βundoβ data for a single operation that affects some form of inference variable.