put coqPassCoreToCore on the CoreM monad, greatly simplify Desugar.lhs
[ghc-hetmet.git] / compiler / types / TyCon.lhs-boot
1 \begin{code}
2 module TyCon where
3
4 data TyCon
5
6 isTupleTyCon        :: TyCon -> Bool
7 isUnboxedTupleTyCon :: TyCon -> Bool
8 isFunTyCon          :: TyCon -> Bool
9 \end{code}