liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Gradual.Trivial

Documentation

simplify :: SInfo a -> SInfo a Source #