Module Builtin.TPTP

module TPTP: sig .. end

val connectives : Builtin.Set.t

val is_connective : Builtin.t -> bool

val of_string : string -> Builtin.t option

Parse a $word into a builtin

include Interfaces.PRINT

printer for TPTP