Module Libabsolute.I

Integer arithmetic module

type t = int
val add : int -> int -> int
val mul : int -> int -> int
val zero : int
val one : int
val div : int -> int -> int option
val neg : int -> int
val to_int : 'a -> 'b option
val to_float : int -> float
val to_rational : int -> Mpqf.t
val floor : 'a -> 'a
val of_int : 'a -> 'a
val of_float : float -> int
val of_rational : 'a Mpqf.tt -> int
val equal : t -> t -> bool
val compare : int -> int -> int
val print : Stdlib.Format.formatter -> int -> unit
val to_string : int -> string