liquidhaskell-0.8.10.7: liquid-base/src/Foreign/Concurrent.spec
module spec Foreign.Concurrent where Foreign.Concurrent.newForeignPtr :: p:(PtrV a) -> GHC.Types.IO () -> (GHC.Types.IO (ForeignPtrN a (plen p)))
module spec Foreign.Concurrent where Foreign.Concurrent.newForeignPtr :: p:(PtrV a) -> GHC.Types.IO () -> (GHC.Types.IO (ForeignPtrN a (plen p)))