liquidhaskell-0.9.2.5.0: src/Data/Int_LHAssumptions.hs

module Data.Int_LHAssumptions where

{-@
embed Data.Int.Int8  as int
embed Data.Int.Int16 as int
embed Data.Int.Int32 as int
embed Data.Int.Int64 as int

@-}