Type Alias ena::unify::UnificationTableStorage

pub type UnificationTableStorage<K> = UnificationTable<InPlace<K, UnificationStorage<K>, ()>>;

Aliased Type

struct UnificationTableStorage<K> { /* private fields */ }

Implementations

impl<K> UnificationTableStorage<K>

where K: UnifyKey,

pub fn with_log<'a, L>( &'a mut self, undo_log: L ) -> UnificationTable<InPlace<K, &'a mut UnificationStorage<K>, L>>

where L: UndoLogs<UndoLog<Delegate<K>>>,

Creates a UnificationTable using an external undo_log, allowing mutating methods to be called if L does not implement UndoLogs