Module Gmp_random

module Gmp_random: sig .. end

type state 

GMP random generation functions

Random State Initialization

C documentation

val init_default : unit -> state

val init_lc_2exp : 'a Mpz.tt -> int -> int -> state

val init_lc_2exp_size : int -> state

Random State Seeding

C documentation

val seed : state -> 'a Mpz.tt -> unit

val seed_ui : state -> int -> unit

Random Number Functions

Integers (Mpz)

C documentation

module Mpz: sig .. end

Floating-point (Mpf)

C documentation

module Mpf: sig .. end

Floating-point (Mpfr)

C documentation

module Mpfr: sig .. end