Builtin.TPTP
val connectives : Set.t
val is_connective : t -> bool
val fixity : t -> fixity
val is_infix : t -> bool
val is_prefix : t -> bool
val of_string : string -> t option
Parse a $word into a builtin
printer for TPTP
include Interfaces.PRINT with type t := t
type t
val pp : t CCFormat.printer
val to_string : t -> string