liquidhaskell-0.8.10.7: liquid-base/src/Foreign/Marshal/Alloc.spec

module spec Foreign.Marshal.Alloc where

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