pub trait UnificationStoreBase: Index<usize, Output = VarValue<Self::Key>> {
    type Key: UnifyKey
   where
        <Self::Key as UnifyKey>::Value == Self::Value
; type Value: UnifyValue; fn len(&self) -> usize; fn tag() -> &'static str { ... } }
Expand description

Largely internal trait implemented by the unification table backing store types. The most common such type is InPlace, which indicates a standard, mutable unification table.

Required Associated Types

Required Methods

Provided Methods

Implementors