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