liquidhaskell-0.8.10.1: include/Foreign/C/Types.spec

module spec Foreign.C.Types where

import GHC.Word

embed Foreign.C.Types.CInt   as int
embed Foreign.C.Types.CSize  as int
embed Foreign.C.Types.CULong as int