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