liquidhaskell-0.9.2.5.0: src/GHC/Word_LHAssumptions.hs
module GHC.Word_LHAssumptions where
{-@
embed GHC.Word.Word as int
embed GHC.Word.Word8 as int
embed GHC.Word.Word16 as int
embed GHC.Word.Word32 as int
embed GHC.Word.Word64 as int
@-}
module GHC.Word_LHAssumptions where
{-@
embed GHC.Word.Word as int
embed GHC.Word.Word8 as int
embed GHC.Word.Word16 as int
embed GHC.Word.Word32 as int
embed GHC.Word.Word64 as int
@-}