Type Alias UnificationStorage

pub type UnificationStorage<K> = Vec<VarValue<K>>;

Aliased Type

pub struct UnificationStorage<K> { /* private fields */ }