Module Builtins_malloc

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