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 2.0 - 29 Jul 1998

Generated with Harlequin WebMaker