ghc/compiler/coreSyn/Subst.hi-boot-5

   1 __interface Subst 1 0 where
   2 __export Subst Subst mkTyVarSubst substTy ;
   3 1 data Subst;
   4 1 mkTyVarSubst :: [Var.TyVar] -> [TypeRep.Type] -> Subst ;
   5 1 substTy :: Subst -> TypeRep.Type -> TypeRep.Type ;
   6