Macros§

Structs§

  • 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.