logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Output_format

Output Format

type t =
| O_none
| O_normal
| O_tptp
| 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