Logtk.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