4.5 Profiling: the Profile structure

profileFull

Function

Structure

Shell.Profile

Type

val profileFull: MLWorks.Profile.options 
                 -> ('a -> 'b) -> 'a -> 'b
Syntax

profileFull opts f x
Arguments

f
An ML function.

x
Arguments to apply f to.

opts
Profiler options.

Values

values
The values returned by f x.

Description

This function is the same as Shell.profile f x, but allows you to set your own profiler options. This makes it correspond exactly to MLWorks.Profile.profile, page 29.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker