Module Caveat_mem


module Caveat_mem: sig .. end
Memory Model for Caveat: more information about it in this document

val debug1 : ('a, Format.formatter, unit) Pervasives.format -> 'a
Trace call from outside
val debug2 : ('a, Format.formatter, unit) Pervasives.format -> 'a
val debug3 : ('a, Format.formatter, unit) Pervasives.format -> 'a
All the details
val unsupported : ?model:string -> ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
module Make: 
functor (X : sig
val with_guards : bool
end) -> sig .. end
module Safe: Make(sig
val with_guards : bool
end)
module Unsafe: Make(sig
val with_guards : bool
end)