package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
val i : t
val o : t
val int : t
val rat : t
val real : t
val connectives : Set.t
val is_connective : t -> bool

printer for TPTP

include LogtkInterfaces.PRINT with type t := t
val pp : Buffer.t -> t -> unit
val to_string : t -> string
val fmt : Format.formatter -> t -> unit

Arith LogtkSymbols

module Arith : sig ... end