disable SAT for now (see #2321)
[ghc-hetmet.git] / compiler / types / TyCon.hi-boot-6
1 module TyCon where
2
3 data TyCon
4
5 isTupleTyCon :: TyCon -> GHC.Base.Bool
6 isUnboxedTupleTyCon :: TyCon -> GHC.Base.Bool
7 isFunTyCon :: TyCon -> GHC.Base.Bool