4 The MLWorks Interactive Environment Library
4.6 Timing: the Timer structure
The Timer structure is a convenient programmatic interface to the Basis library timers.
structure Timer:
sig
val time: ('a ->'b) -> 'a ->
({gc: time, sys: time, usr: time} * time)
val timeIterations: int -> ('a -> 'b) -> 'a ->
({gc: time, sys: time, usr: time} * time)
val printTiming: {function: 'a -> 'b, name: string,
outputter: string -> unit} -> 'a -> 'b
end