module Arith: sig .. end
val floor : FOTerm.t
val ceiling : FOTerm.t
val truncate : FOTerm.t
val round : FOTerm.t
val prec : FOTerm.t
val succ : FOTerm.t
val sum : FOTerm.t
val difference : FOTerm.t
val uminus : FOTerm.t
val product : FOTerm.t
val quotient : FOTerm.t
val quotient_e : FOTerm.t
val quotient_t : FOTerm.t
val quotient_f : FOTerm.t
val remainder_e : FOTerm.t
val remainder_t : FOTerm.t
val remainder_f : FOTerm.t
val less : FOTerm.t
val lesseq : FOTerm.t
val greater : FOTerm.t
val greatereq : FOTerm.t
val pp_hook : print_hook
hook to print arithmetic expressions