Type Definition gmp::mpz::mpz_ptr

type mpz_ptr = *mut mpz_struct;