module Gmp_random: sig .. end
GMP random generation functions
type state
GMP random generation functions
Random State Initialization
C documentation
val init_default : unit -> state
val init_lc_2exp : Mpz.t -> int -> int -> state
val init_lc_2exp_size : int -> state
Random State Seeding
C documentation
val seed : state -> Mpz.t -> 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