[PPL-devel] GMP 4.0.1/C++: Where are the cmp() functions?

The documentation of GMP 4.0.1 mentions the availability of several cmp() functions, such as

- Function: int cmp (mpz_class OP1, type OP2) - Function: int cmp (type OP1, mpz_class OP2)

However, they do not seem to be defined, neither in gmpxx.h nor anywhere else. What am I missing? All the best

Roberto