sig
  type pred = unit Fol.d_pred
  val export_tau : Format.formatter -> Formula.tau -> unit
  val export_data : '-> '-> unit
  val export_term : Format.formatter -> 'Fol.d_term -> unit
  val pp_pred_atom : 'Fol.d_pred Fol_pretty.pp
  val export_pred : Format.formatter -> 'Fol.d_pred -> unit
  val export_item :
    Format.formatter -> string -> 'Fol.d_pred Formula.item -> unit
  val export_decl :
    Format.formatter -> 'Fol.d_pred Formula.declaration -> unit
  val export_goal : Format.formatter -> string -> 'Fol.d_pred -> unit
end