Module Register.E91


module E91: Fol_ergo.E91

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