Next Previous Up Top Contents Index

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 2.0 - 29 Jul 1998

Next Previous Up Top Contents Index

Generated with Harlequin WebMaker