/usr/lib/ocaml/apron/gmp_random.mli is in libapron-ocaml-dev 0.9.10-6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 | (* File generated from gmp_random.idl *)
(* This file is part of the MLGmpIDL interface, released under LGPL license.
Please read the COPYING file packaged in the distribution *)
type state
(** GMP random generation functions *)
(** {2 Random State Initialization} *)
(** {{:http://gmplib.org/manual/Random-State-Initialization.html#Random-State-Initialization}C documentation} *)
external init_default : unit -> state
= "camlidl_gmp_random_gmp_randinit_default"
external init_lc_2exp : Mpz.t -> int -> int -> state
= "camlidl_gmp_random_gmp_randinit_lc_2exp"
external init_lc_2exp_size : int -> state
= "camlidl_gmp_random_gmp_randinit_lc_2exp_size"
(** {2 Random State Seeding} *)
(** {{:http://gmplib.org/manual/Random-State-Seeding.html#Random-State-Seeding}C documentation} *)
external seed : state -> Mpz.t -> unit
= "camlidl_gmp_random_gmp_randseed"
external seed_ui : state -> int -> unit
= "camlidl_gmp_random_gmp_randseed_ui"
(** {2 Random Number Functions} *)
(** {3 Integers ({!Mpz})} *)
(** {{:http://gmplib.org/manual/Integer-Random-Numbers.html#Integer-Random-Numbers}C documentation} *)
module Mpz : sig
external urandomb : Mpz.t -> state -> int -> unit
= "camlidl_gmp_random_mpz_urandomb"
external urandomm : Mpz.t -> state -> Mpz.t -> unit
= "camlidl_gmp_random_mpz_urandomm"
external rrandomb : Mpz.t -> state -> int -> unit
= "camlidl_gmp_random_mpz_rrandomb"
end
(** {3 Floating-point ({!Mpf})} *)
(** {{:http://gmplib.org/manual/Miscellaneous-Float-Functions.html#Miscellaneous-Float-Functions}C documentation} *)
module Mpf : sig
external urandomb : Mpf.t -> state -> int -> unit
= "camlidl_gmp_random_mpf_urandomb"
end
(** {3 Floating-point ({!Mpfr})} *)
(** {{:http://www.mpfr.org/mpfr-current/mpfr.html#Miscellaneous-Functions}C documentation} *)
module Mpfr : sig
external urandomb : Mpfr.t -> state -> unit
= "camlidl_gmp_random_mpfr_urandomb"
end
|