liquidhaskell-0.1: include/GHC/Word.spec

module spec GHC.Word 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