{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module Foreign.C.Types_LHAssumptions where

import GHC.Int_LHAssumptions()

{-@

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

@-}