Type Definition gmp_randstate_t
Other items innettle_sys
type gmp_randstate_t = [__gmp_randstate_struct; 1];