Module LogtkSignature.TPTP.Arith

module Arith: sig .. end

val operators : LogtkSymbol.Set.t
val is_operator : LogtkSymbol.t -> bool
val base : LogtkSignature.t
arith op
val full : LogtkSignature.t
arith op + regular op