module Builtins_malloc: sig
.. end
Dynamic allocation related builtins.
Most functionality is exported as builtins.
Dynamically allocated bases
val malloced_bases : unit -> Base.Hptset.t
All bases that have been dynamically created in the current execution.
val alloc_size_ok : Cvalue.V.t -> Alarmset.status