## InPlaceUnificationTable

# Type Alias InPlaceUnificationTable

Source

    pub type InPlaceUnificationTable<K, V = Vec<VarValue<K>>, L = VecLog<UndoLog<Delegate<K>>>>where
        K: UnifyKey,
        V: VecLike<Delegate<K>>, = UnificationTable<InPlace<K, V, L>>;

Expand description

A unification table that uses an “in-place” vector.

## Aliased Type§

    pub struct InPlaceUnificationTable<K, V = Vec<VarValue<K>>, L = VecLog<UndoLog<Delegate<K>>>>where
        K: UnifyKey,
        V: VecLike<Delegate<K>>,{ /* private fields */ }

## Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.