package logtk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Builtin.TPTPSource

Sourceval connectives : Set.t
Sourceval is_connective : t -> bool
Sourceval fixity : t -> fixity
Sourceval is_infix : t -> bool
Sourceval is_prefix : t -> bool
Sourceval of_string : string -> t option

Parse a $word into a builtin

printer for TPTP

include Interfaces.PRINT with type t := t
Sourceval to_string : t -> string
OCaml

Innovation. Community. Security.