liquidhaskell-0.1: include/Data/Word.spec

module spec Data.Word where

import GHC.Word