Macros

impl_from 🔒

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.