Type Definition rustc_data_structures::unify::InPlaceUnificationTable[−][src]

pub type InPlaceUnificationTable<K, V = Vec<VarValue<K>, Global>, 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.