module Ergo91:Export.Create
(
Fol_ergo.E91
)
typepred =
Caveat_mem.Make.WP.F.pred
val export_decl : Format.formatter -> Caveat_mem.Make.WP.F.pred Formula.declaration -> unit
val export_goal : Format.formatter -> string -> Caveat_mem.Make.WP.F.pred -> unit