4.6 Timing: the Timer structure
time
Function
Structure
Shell.Timer
Type
val time: ('a ->'b) -> 'a -> ({gc: time, sys: time, usr: time} * time)
Syntax
time f x -> t
Arguments
- f
- An ML function.
- x
- Arguments to apply f to.
Values
- t
- The time elapsed.
Description
Returns the time taken to apply f to x.