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