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

unit

Description

Invokes the GUI profiler tool on a profile generated by the MLWorks.Profile.profile function.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker