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.
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker