module E92: Fol_ergo.E92
typepred =
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