liquid-prelude-0.8.10.2: General utility modules for LiquidHaskell
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Language.Haskell.Liquid.Synthesize.Error
Documentation
err
::
Int
-> a
Source
#