Module Gmp_random

module Gmp_random: sig .. end

type state 

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

Integers (Mpz)

module Mpz: sig .. end

Floating-point (Mpf)

module Mpf: sig .. end

Floating-point (Mpfr)

module Mpfr: sig .. end