Function LLVMRustVerifyFunction 

pub(crate) unsafe extern "C" fn LLVMRustVerifyFunction<'ll>(
    V: Value<'ll>,
    action: LLVMRustVerifierFailureAction,
) -> Bool