Type Definition UnificationStorage
Other items inrustc_data_structures::unify
type UnificationStorage<K> = Vec<VarValue<K>, Global>;