Commit ce82d32e authored by simonpj's avatar simonpj
Browse files

[project @ 2005-01-04 09:19:50 by simonpj]

Remove redundant Subst hi-boot files
parent 7f05f109
_interface_ Subst 2
_exports_ Subst Subst substTyWith ;
_declarations_
1 data Subst;
1 substTyWith _:_ [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type ;;
__interface Subst 2 0 where
__export Subst Subst substTyWith ;
1 data Subst;
1 substTyWith :: [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type ;
module Subst where
data Subst
substTyWith :: [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment