Module Caveat_mem.Safe


module Safe: Make(sig
val with_guards : bool
end)

module WP: sig .. end

Export to WHY


module Export: sig .. end
module Coq: Export.Create(Fol_coq)
module Why: Export.Create(Fol_why)
module Ergo91: Export.Create(Fol_ergo.E91)
module Ergo92: Export.Create(Fol_ergo.E92)
module Splitter: sig .. end