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.