module Why:Export.Create
(
Fol_why
)
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