liquidhaskell-0.8.2.2: Liquid Types for Haskell
Gradual.Trivial
simplify :: SInfo a -> SInfo a Source #