type t
= Funarith_zarith__.Rat_zarith.t
val equal : t ‑> t ‑> bool
val compare : t ‑> t ‑> int
val pp : t CCFormat.printer
val zero : t
val one : t
val neg : t ‑> t
val (+) : t ‑> t ‑> t
val (-) : t ‑> t ‑> t
val (*) : t ‑> t ‑> t