Module Fol_ergo.E92


module E92: sig .. end

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