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

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

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

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