pub trait UnificationStore: UnificationStoreMut {
    type Snapshot;
    fn start_snapshot(&mut self) -> Self::Snapshot;
fn rollback_to(&mut self, snapshot: Self::Snapshot);
fn commit(&mut self, snapshot: Self::Snapshot);
fn values_since_snapshot(&self, snapshot: &Self::Snapshot) -> Range<usize>ⓘNotable traits for Range<A>impl<A> Iterator for Range<A> where
    A: Step, 
type Item = A;
; }

Associated Types

Required methods

Implementors