Type Definition ena::unify::InPlaceUnificationTable

type InPlaceUnificationTable<K> = UnificationTable<InPlace<K>>;

A unification table that uses an "in-place" vector.