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