1\DOC start_time
2
3\TYPE {start_time : unit -> Timer.cpu_timer}
4
5\SYNOPSIS
6Set a timer running.
7
8\KEYWORDS
9time.
10
11\DESCRIBE
12An application {start_time ()} creates a timer and starts it. A later
13invocation {end_time t}, where {t} is a timer, will need to be called
14to get the elapsed time between the two function calls.
15
16\FAILURE
17Never fails.
18
19\EXAMPLE
20{
21- val clock = start_time ();
22> val clock = <cpu_timer> : cpu_timer
23}
24
25
26\COMMENTS
27Multiple timers may be started without any interfering with the others.
28
29Further operations associated with the type {cpu_timer} may be found
30in the Standard ML Basis Library structures {Timer} and {Time}.
31
32\SEEALSO
33Lib.end_time, Lib.time.
34\ENDDOC
35