4.5 Profiling: the Profile structure
profileTool
Function
Structure
Shell.Profile
Type
val profileTool: MLWorks.Profile.profile -> unit
Syntax
profileTool p -> ()
Arguments
- p
- An execution profile.
Values
()
Description
Invokes the GUI profiler tool on a profile generated by the MLWorks.Profile.profile function.