Module LogtkFOTerm.TPTP

module TPTP: sig .. end

val true_ : LogtkFOTerm.t
tautology term
val false_ : LogtkFOTerm.t
antilogy term
include LogtkInterfaces.PRINT
include LogtkInterfaces.PRINT_DE_BRUIJN
module Arith: sig .. end