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
val urandomb : Mpz.t -> state -> int -> unit
val urandomm : Mpz.t -> state -> Mpz.t -> unit
val rrandomb : Mpz.t -> state -> int -> unit