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