liquidhaskell-0.1: include/GHC/ForeignPtr.spec
module spec GHC.ForeignPtr where
mallocPlainForeignPtrBytes :: n:{v:GHC.Types.Int | v >= 0 } -> (GHC.Types.IO (ForeignPtrN a n))
module spec GHC.ForeignPtr where
mallocPlainForeignPtrBytes :: n:{v:GHC.Types.Int | v >= 0 } -> (GHC.Types.IO (ForeignPtrN a n))