3.4.9 Profile structure values
general_header
Type
Summary
General statistics for the profiler invocation.
Signature
MLWORKS.Profile
Structure
MLWorks.Profile
Type
datatype general_header = General of
{data_allocated: int,
period: Time.Interval.T,
suspended: Time.Interval.T}
Description
General statistics for the profiler invocation.
data_allocated- Number of bytes allocated by general profiling overhead.
period- Execution time.
suspended- Currently unused.