Type Definition antic::gmp_randalg_t

type gmp_randalg_t = u32;