package logtk

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

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