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;
; }

Required Associated Types

Required Methods

Implementors