sig type randstate_t and randalg_t = GMP_RAND_ALG_LC of int val randinit : Gmp.RNG.randalg_t -> Gmp.RNG.randstate_t val default : Gmp.RNG.randstate_t end