ghc/compiler/coreSyn/Subst.hi-boot

   1 _interface_ Subst 1
   2 _exports_ Subst Subst mkTyVarSubst substTy ;
   3 _declarations_
   4 1 data Subst;
   5 1 mkTyVarSubst _:_ [Var.TyVar] -> [Type.Type] -> Subst ;;
   6 1 substTy _:_ Subst -> Type.Type -> Type.Type ;;
   7