pub type InPlaceUnificationTable<K: UnifyKey, V: VecLike<Delegate<K>> = Vec<VarValue<K>>, L = VecLog<UndoLog<Delegate<K>>>> = UnificationTable<InPlace<K, V, L>>;Expand description
A unification table that uses an “in-place” vector.
Aliased Type§
struct InPlaceUnificationTable<K: UnifyKey, V: VecLike<Delegate<K>> = Vec<VarValue<K>>, L = VecLog<UndoLog<Delegate<K>>>> { /* private fields */ }