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


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