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