1\DOC end_time
2
3\TYPE {end_time : Timer.cpu_timer -> unit}
4
5\SYNOPSIS
6Check a running timer, and print out how long it has been running.
7
8\KEYWORDS
9time.
10
11\DESCRIBE
12An application {end_time timer}	looks to see how long {timer} has been
13running, and prints out the elapsed runtime, garbage collection time,
14and system time.
15
16\FAILURE
17Never fails.
18
19\EXAMPLE
20{
21- val clock = start_time();
22> val clock = <cpu_timer> : cpu_timer
23
24- use "foo.sml";
25> ... output omitted ...
26
27- end_time clock;
28runtime: 525.996s,    gctime: 0.000s,     systime: 525.996s.
29> val it = () : unit
30}
31
32
33\COMMENTS
34A {start_time} ... {end_time} pair is for use when calling {time}
35would be clumsy, e.g., when multiple function applications are to
36be timed.
37
38\SEEALSO
39Lib.start_time, Lib.time.
40\ENDDOC
41