module Z: sig end
type t = Gmp41.Z.t
val of_int : int -> Gmp41.Z.t
val zero : Gmp41.Z.t
val one : Gmp41.Z.t
val two : Gmp41.Z.t
val add : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
val sub : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
val succ : Gmp41.Z.t -> Gmp41.Z.t
val mult : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
val divexact : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
val gcd : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
val lcm : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
val pow : int -> int -> Gmp41.Z.t
val expt : Gmp41.Z.t -> int -> Gmp41.Z.t
val compare : Gmp41.Z.t -> Gmp41.Z.t -> int
val equal : Gmp41.Z.t -> Gmp41.Z.t -> bool
val lt : Gmp41.Z.t -> Gmp41.Z.t -> bool
val le : Gmp41.Z.t -> Gmp41.Z.t -> bool
val gt : Gmp41.Z.t -> Gmp41.Z.t -> bool
val ge : Gmp41.Z.t -> Gmp41.Z.t -> bool
val to_string : Gmp41.Z.t -> string
val pp : Format.formatter -> Gmp41.Z.t -> unit