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 tySuperKind :: Kind
  15 coSuperKind :: Kind
  16
  17 isCoSuperKind :: Kind -> Bool
  18 \end{code}
  19