liquidhaskell-0.2.0.0: include/Foreign/Ptr.spec

module spec Foreign.Ptr where

import GHC.Ptr