include Funarith.Int_intf.BASE
type t
val (+) : t ‑> t ‑> t
val (-) : t ‑> t ‑> t
val (*) : t ‑> t ‑> t
val compare : t ‑> t ‑> int
val of_int : int ‑> t
val pp : t CCFormat.printer
val pred : t ‑> t
val succ : t ‑> t
val zero : t
val sign : t ‑> int
val equal : t ‑> t ‑> bool
val one : t
val minus_one : t