{-# LANGUAGE
  ForeignFunctionInterface
  #-}
module LLVM.General.Internal.FFI.Analysis where

import Foreign.Ptr
import Foreign.C

import LLVM.General.Internal.FFI.LLVMCTypes
import LLVM.General.Internal.FFI.Module

foreign import ccall unsafe "LLVMVerifyModule" verifyModule ::
  Ptr Module -> VerifierFailureAction -> Ptr MallocedCString -> IO LLVMBool