Module LogtkFOTerm.TPTP.Arith

module Arith: sig .. end

val floor : LogtkFOTerm.t
val ceiling : LogtkFOTerm.t
val truncate : LogtkFOTerm.t
val round : LogtkFOTerm.t
val prec : LogtkFOTerm.t
val succ : LogtkFOTerm.t
val sum : LogtkFOTerm.t
val difference : LogtkFOTerm.t
val uminus : LogtkFOTerm.t
val product : LogtkFOTerm.t
val quotient : LogtkFOTerm.t
val quotient_e : LogtkFOTerm.t
val quotient_t : LogtkFOTerm.t
val quotient_f : LogtkFOTerm.t
val remainder_e : LogtkFOTerm.t
val remainder_t : LogtkFOTerm.t
val remainder_f : LogtkFOTerm.t
val less : LogtkFOTerm.t
val lesseq : LogtkFOTerm.t
val greater : LogtkFOTerm.t
val greatereq : LogtkFOTerm.t
val arith_hook : print_hook
hook to print arithmetic expressions
val pp_debug : Buffer.t -> LogtkFOTerm.t -> unit
use arith_hook with pp_debug