Module LogtkType.TPTP

module TPTP: sig .. end

include LogtkInterfaces.PRINT
include LogtkInterfaces.PRINT_DE_BRUIJN

Basic types


val i : LogtkType.t
individuals
val o : LogtkType.t
propositions
val int : LogtkType.t
integers
val rat : LogtkType.t
rationals
val real : LogtkType.t
reals