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