logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . 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
val to_string : t -> string