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