Type Definition antic::fmpz_t

type fmpz_t = [fmpz; 1];