Module Caveat_mem.Make.Ergo91


module Ergo91: Export.Create(Fol_ergo.E91)

type pred = 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