Struct ena::unify::Snapshot [] [src]

pub struct Snapshot<K: UnifyKey> { /* fields omitted */ }

At any time, users may snapshot a unification table. The changes made during the snapshot may either be committed or rolled back.