liquidhaskell-0.8.0.1: Liquid Types for Haskell
Language.Haskell.Liquid.Transforms.Simplify
simplifyBounds :: SpecType -> SpecType Source #