module Gmp_random:GMP random generation functionssig
..end
type
state
val init_default : unit -> state
val init_lc_2exp : Mpz.t -> int -> int -> state
val init_lc_2exp_size : int -> state
val seed : state -> Mpz.t -> unit
val seed_ui : state -> int -> unit
module Mpz:sig
..end
module Mpf:sig
..end