liquidhaskell-0.7.0.0: include/Data/Word8.spec

module spec Data.Word8 where

import GHC.Word

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