3.4 Profiling: the Profile structure
3.4.9 Profile structure values
- profile
-
- make_manner
-
- profile
-
- 'a result
-
- manner
-
- options
-
- function_profile
-
- function_time_profile
-
- function_caller
-
- function_space_profile
-
- object_kind
-
- object_count
-
- large_size
-
- call_header
-
- space_header
-
- time_header
-
- general_header
-
- ProfileError
-
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker