Module LogtkSymbol.TPTP.Arith

module Arith: sig .. end

val floor : LogtkSymbol.t
val ceiling : LogtkSymbol.t
val truncate : LogtkSymbol.t
val round : LogtkSymbol.t
val prec : LogtkSymbol.t
val succ : LogtkSymbol.t
val sum : LogtkSymbol.t
val difference : LogtkSymbol.t
val uminus : LogtkSymbol.t
val product : LogtkSymbol.t
val quotient : LogtkSymbol.t
val quotient_e : LogtkSymbol.t
val quotient_t : LogtkSymbol.t
val quotient_f : LogtkSymbol.t
val remainder_e : LogtkSymbol.t
val remainder_t : LogtkSymbol.t
val remainder_f : LogtkSymbol.t
val is_int : LogtkSymbol.t
val is_rat : LogtkSymbol.t
val to_int : LogtkSymbol.t
val to_rat : LogtkSymbol.t
val less : LogtkSymbol.t
val lesseq : LogtkSymbol.t
val greater : LogtkSymbol.t
val greatereq : LogtkSymbol.t
val symbols : LogtkSymbol.t Sequence.t
val is_arith : LogtkSymbol.t -> bool
Is the symbol a TPTP arithmetic symbol?