mlgmpidl 1.3.0 (latest) · OCaml Package

type 'a tt

type m

type f

type t = m tt

val print : Format.formatter -> 'a tt -> unit

val init : unit -> 'a tt

val init2 : int -> 'a tt

val realloc2 : t -> int -> unit

val set : t -> 'a tt -> unit

val set_si : t -> int -> unit

val set_d : t -> float -> unit

val _set_str : t -> string -> int -> unit

val set_str : t -> string -> base:int -> unit

val swap : t -> t -> unit

val init_set : 'a tt -> 'b tt

val init_set_si : int -> 'a tt

val init_set_d : float -> 'a tt

val _init_set_str : string -> int -> 'a tt

val init_set_str : string -> base:int -> t

val get_si : 'a tt -> nativeint

val get_int : 'a tt -> int

val get_d : 'a tt -> float

val get_d_2exp : 'a tt -> float * int

val _get_str : int -> 'a tt -> string

val get_str : base:int -> 'a tt -> string

val to_string : 'a tt -> string

val to_float : 'a tt -> float

val of_string : string -> 'a tt

val of_float : float -> 'a tt

val of_int : int -> 'a tt

val add : t -> 'a tt -> 'b tt -> unit

val add_ui : t -> 'a tt -> int -> unit

val sub : t -> 'a tt -> 'b tt -> unit

val sub_ui : t -> 'a tt -> int -> unit

val ui_sub : t -> int -> 'a tt -> unit

val mul : t -> 'a tt -> 'b tt -> unit

val mul_si : t -> 'a tt -> int -> unit

val addmul : t -> 'a tt -> 'b tt -> unit

val addmul_ui : t -> 'a tt -> int -> unit

val submul : t -> 'a tt -> 'b tt -> unit

val submul_ui : t -> 'a tt -> int -> unit

val mul_2exp : t -> 'a tt -> int -> unit

val neg : t -> 'a tt -> unit

val abs : t -> 'a tt -> unit

val cdiv_q : t -> 'a tt -> 'b tt -> unit

val cdiv_r : t -> 'a tt -> 'b tt -> unit

val cdiv_qr : t -> t -> 'a tt -> 'b tt -> unit

val cdiv_q_ui : t -> 'a tt -> int -> int

val cdiv_r_ui : t -> 'a tt -> int -> int

val cdiv_qr_ui : t -> t -> 'a tt -> int -> int

val cdiv_ui : 'a tt -> int -> int

val cdiv_q_2exp : t -> 'a tt -> int -> unit

val cdiv_r_2exp : t -> 'a tt -> int -> unit

val fdiv_q : t -> 'a tt -> 'b tt -> unit

val fdiv_r : t -> 'a tt -> 'b tt -> unit

val fdiv_qr : t -> t -> 'a tt -> 'b tt -> unit

val fdiv_q_ui : t -> 'a tt -> int -> int

val fdiv_r_ui : t -> 'a tt -> int -> int

val fdiv_qr_ui : t -> t -> 'a tt -> int -> int

val fdiv_ui : 'a tt -> int -> int

val fdiv_q_2exp : t -> 'a tt -> int -> unit

val fdiv_r_2exp : t -> 'a tt -> int -> unit

val tdiv_q : t -> 'a tt -> 'b tt -> unit

val tdiv_r : t -> 'a tt -> 'b tt -> unit

val tdiv_qr : t -> t -> 'a tt -> 'b tt -> unit

val tdiv_q_ui : t -> 'a tt -> int -> int

val tdiv_r_ui : t -> 'a tt -> int -> int

val tdiv_qr_ui : t -> t -> 'a tt -> int -> int

val tdiv_ui : 'a tt -> int -> int

val tdiv_q_2exp : t -> 'a tt -> int -> unit

val tdiv_r_2exp : t -> 'a tt -> int -> unit

val gmod : t -> 'a tt -> 'b tt -> unit

val gmod_ui : t -> 'a tt -> int -> int

val divexact : t -> 'a tt -> 'b tt -> unit

val divexact_ui : t -> 'a tt -> int -> unit

val divisible_p : 'a tt -> 'b tt -> bool

val divisible_ui_p : 'a tt -> int -> bool

val divisible_2exp_p : 'a tt -> int -> bool

val congruent_p : 'a tt -> 'b tt -> 'c tt -> bool

val congruent_ui_p : 'a tt -> int -> int -> bool

val congruent_2exp_p : 'a tt -> 'b tt -> int -> bool

val _powm : t -> 'a tt -> 'b tt -> 'c tt -> unit

val _powm_ui : t -> 'a tt -> int -> 'b tt -> unit

val powm : t -> 'a tt -> 'b tt -> modulo:'c tt -> unit

val powm_ui : t -> 'a tt -> int -> modulo:'b tt -> unit

val pow_ui : t -> 'a tt -> int -> unit

val ui_pow_ui : t -> int -> int -> unit

val root : t -> 'a tt -> int -> bool

val sqrt : t -> 'a tt -> unit

val _sqrtrem : t -> t -> 'a tt -> unit

val sqrtrem : t -> remainder:t -> 'a tt -> unit

val perfect_power_p : 'a tt -> bool

val perfect_square_p : 'a tt -> bool

val probab_prime_p : 'a tt -> int -> int

val nextprime : t -> 'a tt -> unit

val gcd : t -> 'a tt -> 'b tt -> unit

val gcd_ui : t option -> 'a tt -> int -> int

val _gcdext : t -> t -> t -> 'a tt -> 'b tt -> unit

val gcdext : gcd:t -> alpha:t -> beta:t -> 'a tt -> 'b tt -> unit

val lcm : t -> 'a tt -> 'b tt -> unit

val lcm_ui : t -> 'a tt -> int -> unit

val invert : t -> 'a tt -> 'b tt -> bool

val jacobi : 'a tt -> 'b tt -> int

val legendre : 'a tt -> 'b tt -> int

val kronecker : 'a tt -> 'b tt -> int

val kronecker_si : 'a tt -> int -> int

val si_kronecker : int -> 'a tt -> int

val remove : t -> 'a tt -> 'b tt -> int

val fac_ui : t -> int -> unit

val bin_ui : t -> 'a tt -> int -> unit

val bin_uiui : t -> int -> int -> unit

val fib_ui : t -> int -> unit

val fib2_ui : t -> t -> int -> unit

val lucnum_ui : t -> int -> unit

val lucnum2_ui : t -> t -> int -> unit

val cmp : 'a tt -> 'b tt -> int

val cmp_d : 'a tt -> float -> int

val cmp_si : 'a tt -> int -> int

val cmpabs : 'a tt -> 'b tt -> int

val cmpabs_d : 'a tt -> float -> int

val cmpabs_ui : 'a tt -> int -> int

val sgn : 'a tt -> int

val gand : t -> 'a tt -> 'b tt -> unit

val ior : t -> 'a tt -> 'b tt -> unit

val xor : t -> 'a tt -> 'b tt -> unit

val com : t -> 'a tt -> unit

val popcount : 'a tt -> int

val hamdist : 'a tt -> 'b tt -> int

val scan0 : 'a tt -> int -> int

val scan1 : 'a tt -> int -> int

val setbit : t -> int -> unit

val clrbit : t -> int -> unit

val tstbit : 'a tt -> int -> bool

val _import : 
  t ->
  (int, Bigarray.int32_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  int ->
  int ->
  unit

val _export : 
  'a tt ->
  int ->
  int ->
  (int, Bigarray.int32_elt, Bigarray.c_layout) Bigarray.Array1.t

val import : 
  dest:t ->
  (int, Bigarray.int32_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  order:int ->
  endian:int ->
  unit

val export : 
  'a tt ->
  order:int ->
  endian:int ->
  (int, Bigarray.int32_elt, Bigarray.c_layout) Bigarray.Array1.t

val fits_int_p : 'a tt -> bool

val odd_p : 'a tt -> bool

val even_p : 'a tt -> bool

val size : 'a tt -> int

val sizeinbase : 'a tt -> int -> int

val fits_ulong_p : 'a tt -> bool

val fits_slong_p : 'a tt -> bool

val fits_uint_p : 'a tt -> bool

val fits_sint_p : 'a tt -> bool

val fits_ushort_p : 'a tt -> bool

val fits_sshort_p : 'a tt -> bool

package mlgmpidl