4.5 Profiling: the Profile structure

profileSpace

Function

Structure

Shell.Profile

Type

val profileSpace: ('a -> 'b) -> 'a -> 'b

Syntax

profileSpace 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 space profiling is performed.


MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker