Default_Allocator module

global_statistics

procedureSource

Returns counters for the whole allocator. This allocator keeps none, so every field is zero.

global_statistics :: () -> Global_Statistics

Returns

See also