VectType
vectTyCon
vectAndLiftType
vectType
vectTypeEnv
buildPADict
fromVect