compiler/types/TypeRep.lhs-boot

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