compiler/prelude/TysWiredIn.lhs-boot


1
2
3
4
5
6
7
8
9
10
11

\begin{code}
module TysWiredIn where

import {-# SOURCE #-} TyCon      (TyCon)
import {-# SOURCE #-} TypeRep    (Type)


eqTyCon, coercibleTyCon :: TyCon
typeNatKind, typeSymbolKind :: Type
mkBoxedTupleTy :: [Type] -> Type
\end{code}