Module Gmp_random


module Gmp_random: sig .. end
GMP random generation functions

type state 

GMP random generation functions

Random State Initialization


val init_default : unit -> state
val init_lc_2exp : Mpz.t -> int -> int -> state
val init_lc_2exp_size : int -> state

Random State Seeding


val seed : state -> Mpz.t -> unit
val seed_ui : state -> int -> unit

Random Number Functions


val urandomb : Mpz.t -> state -> int -> unit
val urandomm : Mpz.t -> state -> Mpz.t -> unit
val rrandomb : Mpz.t -> state -> int -> unit