LLVM.FFI.Analysis

type VerifierFailureAction