Type Definition gmp::mpz::mpz_srcptr

type mpz_srcptr = *const mpz_struct;