Type Definition antic::fmpz_randstate_t

type fmpz_randstate_t = gmp_randstate_t;