+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface TVE where
-import Id(Id)
-import Maybes(Labda)
-import Name(Name)
-import NameTypes(FullName, ShortName)
-import PreludePS(_PackedString)
-import TyCon(TyCon)
-import TyVar(TyVarTemplate)
-import UniType(UniType)
-import UniqFM(UniqFM)
-import Unique(Unique)
-data Labda a
-data Name
-type TVE = UniqFM UniType
-data TyVarTemplate
-data UniType
-data UniqFM a
-lookupTVE :: UniqFM UniType -> Name -> UniType
-lookupTVE_NoFail :: UniqFM a -> Name -> Labda a
-mkTVE :: [Name] -> (UniqFM UniType, [TyVarTemplate], [UniType])
-nullTVE :: UniqFM UniType
-plusTVE :: UniqFM UniType -> UniqFM UniType -> UniqFM UniType
-unitTVE :: Unique -> a -> UniqFM a
-