sslang-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

IR.Constraint.Instantiate

Synopsis

Documentation

fromScheme :: FreeVars -> Type -> TC Type Source #

FROM SCHEME