liquidhaskell-0.7.0.0: include/Data/Word.spec

module spec Data.Word where

import GHC.Word

invariant {v:GHC.Word.Word32 | 0 <= v }
invariant {v:GHC.Word.Word16 | 0 <= v }