module Z: sig .. end
type Gmp.z
val zero : t
val one : t
val minus_one : t
val compare : t -> t -> int
val compare_int : t -> int -> int
val neg : t -> t
val abs : t -> t
val add : t -> t -> t
val add_int : t -> int -> t
val sub : t -> t -> t
val sub_int : t -> int -> t
val mul : t -> t -> t
val mul_int : t -> int -> t
val div : t -> t -> t
val fma : t -> t -> t -> t
val pow_int : base:t -> exponent:int -> t
val int_pow_int : base:int -> exponent:int -> t
val scale : t -> base:int -> exponent:int -> t
val root : nth:int -> t -> t
val sqrt : t -> t
val rem : t -> t -> t
val modulo : t -> t -> t
val pow_mod : base:t -> exponent:t -> t -> t
val tdiv : t -> t -> t * t
val tdiv_int : t -> int -> t * int
val cdiv : t -> t -> t * t
val cdiv_int : t -> int -> t * int
val fdiv : t -> t -> t * t
val fdiv_int : t -> int -> t * int
val tsqrt : t -> t * t
val is_perfect_power : t -> bool
val is_perfect_square : t -> bool
val is_probably_prime : t -> int -> int
val next_prime : t -> t
val gcd : t -> t -> t
val gcdext : t -> t -> t * t * t
val lcm : t -> t -> t
val invert : t -> t -> t option
val jacobi : t -> t -> int
val legendre : t -> t -> int
val kronecker : t -> t -> int
val remove : t -> t -> t * int
val fac_int : int -> t
val dfac_int : int -> t
val int_mfac_int : step:int -> int -> t
val primorial_int : int -> t
val bin_int : t -> int -> t
val fib_int : int -> t
val lucnum_int : int -> t
val logand : t -> t -> t
val logand_int : t -> int -> t
val logor : t -> t -> t
val logor_int : t -> int -> t
val logxor : t -> t -> t
val logxor_int : t -> int -> t
val lognot : t -> t
val shift_left : t -> int -> t
val shift_right : t -> int -> t
val population_count : t -> int
val hamming_distance : t -> t -> int
val scan0 : t -> int -> int
val scan1 : t -> int -> int
val set_bit : t -> int -> t
val clear_bit : t -> int -> t
val test_bit : t -> int -> int
val of_based_string : base:int -> string -> t
val of_string : string -> t
val to_based_string : base:int -> t -> string
val to_string : t -> string
val of_int : int -> t
val to_int : t -> int
val of_int32 : int32 -> t
val to_int32 : int32 -> t
val of_int64 : int64 -> t
val to_int64 : t -> int64
val of_nativeint : nativeint -> t
val to_nativeint : nativeint -> t
val to_float : t -> float
val export_length : t -> int
val export : order:Gmp.byte_order -> t -> bytes -> int -> int -> unit
val import : order:Gmp.byte_order -> signed:bool -> bytes -> int -> int -> t