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
end
) ->
sig
.. end
module Safe: Make
(
sig
end
)
module Unsafe: Make
(
sig
end
)