Module `Logtk__Term.Arith`

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