compiler/types/TypeRep.lhs-boot

   1 \begin{code}
   2 module TypeRep where
   3
   4 import {-# SOURCE #-} TyCon ( TyCon )
   5
   6 data Type
   7 data PredType
   8 data TyThing
   9
  10 type Coercion = Type
  11
  12 type Kind = Type
  13
  14 type SuperKind = Type
  15
  16 tySuperKind :: SuperKind
  17 coSuperKind :: SuperKind
  18
  19 isCoSuperKind :: SuperKind -> Bool
  20 \end{code}
  21