pub unsafe extern "C" fn vampire_formula_equal( a: *mut vampire_formula_t, b: *mut vampire_formula_t, ) -> bool