| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Transforms.Simplify
Documentation
simplifyBounds :: SpecType -> SpecType Source #
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Transforms.Simplify
simplifyBounds :: SpecType -> SpecType Source #