4.5 Profiling: the Profile structure

profileTime

Function

Structure

Shell.Profile

Type

val profileTime: ('a -> 'b) -> 'a -> 'b
Syntax

profileTime f x -> values
Arguments

f
An ML function.

x
Arguments to apply f to.

Values

values
The values returned by f x.

Description

This function is the same as profile f x, except that instead of space and time profiling, only time profiling is performed.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker