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


module Mpz: sig .. end
module Mpf: sig .. end