sslang-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

IR.Constraint.Elaborate

Documentation

run :: Program Variable -> TC (Program Type) Source #