liquidhaskell-0.9.2.5.0: src/Foreign/Marshal/Alloc_LHAssumptions.hs

{-# OPTIONS_GHC -Wno-unused-imports #-}
module Foreign.Marshal.Alloc_LHAssumptions where

import GHC.Types_LHAssumptions()
import GHC.Ptr_LHAssumptions()
import Foreign.Marshal.Alloc

{-@
assume Foreign.Marshal.Alloc.allocaBytes :: n:Nat -> (PtrN a n -> IO b) -> IO b
@-}