Functor Caveat_mem.Make


module Make: 
functor (X : sig
val with_guards : bool
end) -> sig .. end
Parameters:
X : 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