3.4.9 Profile structure values
manner
Type
- Summary
- The type of a profiling manner.
- Signature
MLWORKS.Profile
- Structure
MLWorks.Profile
- Type
type manner
- Description
- The type of a profiling manner.
- A profiling manner describes how the profiler should gather profiling data. To define a manner, use the function
make_manner.
- See also
make_manner, page 30
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker