Function vampire_or 

pub unsafe extern "C" fn vampire_or(
    formulas: *mut *mut vampire_formula_t,
    count: usize,
) -> *mut vampire_formula_t

Create a disjunction (f1 OR f2 OR …). @param formulas Array of formulas @param count Number of formulas @return Formula handle