Type Definition nettle_sys::gmp_randstate_t

type gmp_randstate_t = [__gmp_randstate_struct; 1];