Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Haskell.Liquid.Constraint.Constraint
Documentation
constraintToLogic :: REnv -> LConstraint -> Expr Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Haskell.Liquid.Constraint.Constraint
constraintToLogic :: REnv -> LConstraint -> Expr Source #