sig
type pred = unit Fol.d_pred
val export_tau : Format.formatter -> Formula.tau -> unit
val export_decl :
Format.formatter -> unit Fol.d_pred Formula.declaration -> unit
val export_goal : Format.formatter -> string -> unit Fol.d_pred -> unit
end