4.6 Timing: the Timer structure

timeIterations

Function

Structure

Shell.Timer

Type

val timeIterations: int -> ('a -> 'b) -> 'a -> ({gc: time, sys: time, usr: time} * time)
Syntax
timeIterations n f x -> t
Arguments

 
n
 The number of times to iterate.
 
f
 An ML function to time.
 
x
 Arguments to apply f to.

Values

 
t
 The time elapsed.

Description
 Returns the time taken to perform n applications of f to x.