Struct ena::unify::Snapshot
[−]
[src]
pub struct Snapshot<S: UnificationStore> { /* fields omitted */ }
At any time, users may snapshot a unification table. The changes made during the snapshot may either be committed or rolled back.