alice
library
manual.

Alice Project

The Timer structure


________ Synopsis ____________________________________________________

    signature TIMER
    structure Timer : TIMER
  

An extended version of the Standard ML Basis' Timer structure.

See also: Time


________ Import ______________________________________________________

Imported implicitly.


________ Interface ___________________________________________________

    signature TIMER =
    sig
	type cpu_timer
	type real_timer

	val startRealTimer : unit -> real_timer
	val checkRealTimer : real_timer -> Time.time
	val totalRealTimer : unit -> real_timer
    end
  

________ Description _________________________________________________

Items not described here are as in the Standard ML Basis' Timer structure.

Limitations: The following standard functions are currently missing:



last modified 2007/Mar/30 17:10