Macros§
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.
- Snapshot
Enums§
- UndoLog 🔒
- Records the “undo” data for a single operation that affects some form of inference variable.