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 : '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