package logtk

  1. Overview
  2. Docs
On This Page
  1. Output Format
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Logtk.Output_format

Output Format

type t =
  1. | O_none
  2. | O_normal
  3. | O_tptp
  4. | O_zf
val normal : t
val tptp : t
val zf : t
val none : t
val default : t
val pp : CCFormat.t -> t -> unit
val comment_prefix : t -> string

Prefix to use for line comments