package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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