jacket
Search the docs
/
API
Tools
Playground
0.31.0
Default_Allocator module
← Default_Allocator
Procedures
initialize_if_needed
is_initialized
finalize
unsafe_reset
usable_size
is_this_yours
heap_free_all
global_statistics
heap_statistics
allocator_proc
On this page
See also
std
/
Default_Allocator
/
finalize
finalize
procedure · 1 overload
Source
finalize
:: ()
See also
initialize_if_needed
is_initialized
unsafe_reset
usable_size