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
source