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.