ghc-lib-parser-8.8.0.20190424: compiler/typecheck/TcType.hs-boot

module TcType where
import Outputable( SDoc )

data MetaDetails

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