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