3.4 Profiling: the Profile structure

3.4.8 Profiler performance data

In addition to data gathered for your function according to the profiling manner used, the profiler records data about its own performance. Values of type call_header, space_header, time_header and general_header are returned in every profile. See the reference entries for these types (pages 43 to 45) for more details.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker