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.