ghc-lib-0.20190204: compiler/typecheck/TcType.hs-boot

module TcType where
import Outputable( SDoc )

data MetaDetails

data TcTyVarDetails
pprTcTyVarDetails :: TcTyVarDetails -> SDoc
vanillaSkolemTv :: TcTyVarDetails