ghc/compiler/types/Type.hi-boot

   1 _interface_ Type 1
   2 _usages_
   3 TyVar 1 :: TyVar 1;
   4 Usage 1 :: Uage 1;
   5 _exports_
   6 Type Type GenType splitFunTy splitSigmaTy;
   7 _declarations_
   8 1 type Type = Type.GenType TyVar.TyVar Usage.UVar ;
   9 1 data GenType a b;
  10 1 splitFunTy _:_ _forall_ [a b] => Type.GenType a b -> ([GenType a b], Type.GenType a b) ;;
  11 1 splitSigmaTy _:_ _forall_ [a b] => Type.GenType a b -> ([a],[(Class.Class,Type.GenType a b)], Type.GenType a b) ;;