Module LogtkSymbol.TPTP

module TPTP: sig .. end

val i : LogtkSymbol.t
val o : LogtkSymbol.t
val int : LogtkSymbol.t
val rat : LogtkSymbol.t
val real : LogtkSymbol.t
val connectives : LogtkSymbol.Set.t
val is_connective : LogtkSymbol.t -> bool
include LogtkInterfaces.PRINT

printer for TPTP

Arith LogtkSymbols


module Arith: sig .. end