Module ZZ

module ZZ: sig .. end
Unbounded integers

type t = Mpzf.t 
val pp : Format.formatter -> t -> unit
val show : t -> string
val compare : t -> t -> int
val equal : t -> t -> bool
val leq : t -> t -> bool
val lt : t -> t -> bool
val hash : t -> int
val add : t -> t -> t
val mul : t -> t -> t
val zero : t
val one : t
val negate : t -> t
val sub : t -> t -> t
val div : t -> t -> t
Integer division conforming to SMTLIB2: a == (a/b)*b + a%b and 0 <= a%b < |b|
val modulo : t -> t -> t
Modulo conforming to SMTLIB2: a == (a/b)*b + a%b and 0 <= a%b < |b|
val gcd : t -> t -> t
val lcm : t -> t -> t
val max : t -> t -> t
val min : t -> t -> t
val abs : t -> t
val of_int : int -> t
val of_string : string -> t
val to_int : t -> int option