package logtk

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

Module Logtk.Output_formatSource

Output Format

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

Prefix to use for line comments

OCaml

Innovation. Community. Security.