sig
type state
external init_default : unit -> Gmp_random.state
= "camlidl_gmp_random_gmp_randinit_default"
external init_lc_2exp : 'a Mpz.tt -> int -> int -> Gmp_random.state
= "camlidl_gmp_random_gmp_randinit_lc_2exp"
external init_lc_2exp_size : int -> Gmp_random.state
= "camlidl_gmp_random_gmp_randinit_lc_2exp_size"
external seed : Gmp_random.state -> 'a Mpz.tt -> unit
= "camlidl_gmp_random_gmp_randseed"
external seed_ui : Gmp_random.state -> int -> unit
= "camlidl_gmp_random_gmp_randseed_ui"
module Mpz :
sig
external urandomb : Mpz.t -> Gmp_random.state -> int -> unit
= "camlidl_gmp_random_mpz_urandomb"
external urandomm : Mpz.t -> Gmp_random.state -> 'a Mpz.tt -> unit
= "camlidl_gmp_random_mpz_urandomm"
external rrandomb : Mpz.t -> Gmp_random.state -> int -> unit
= "camlidl_gmp_random_mpz_rrandomb"
end
module Mpf :
sig
external urandomb : Mpf.t -> Gmp_random.state -> int -> unit
= "camlidl_gmp_random_mpf_urandomb"
end
module Mpfr :
sig
external urandomb : Mpfr.t -> Gmp_random.state -> unit
= "camlidl_gmp_random_mpfr_urandomb"
external urandom : 'a Mpfr.tt -> Gmp_random.state -> Mpfr.round -> unit
= "camlidl_gmp_random_mpfr_urandom"
end
end