projects / ghc-hetmet.git / blob
? search:


7be51e9c8f08ec7c5ef8026d1632abfbf3bd1ded
[ghc-hetmet.git] / ghc / compiler / coreSyn / Subst.hi-boot-6
1 __interface Subst 2 0 where
2 __export Subst Subst substTyWith ;
3 1 data Subst;
4 1 substTyWith :: [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type ;
5
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)