Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
constraintToLogic :: REnv -> LConstraint -> Expr #
addConstraints :: CGEnv -> [(Symbol, SpecType)] -> CGEnv #
Safe Haskell | None |
---|---|
Language | Haskell98 |
constraintToLogic :: REnv -> LConstraint -> Expr #
addConstraints :: CGEnv -> [(Symbol, SpecType)] -> CGEnv #