alice
library
manual.

The `Timer` structure

^Synopsis^{____________________________________________}

    signature TIMER
    structure Timer : TIMER

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

^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:

startCPUTimer, checkCPUTimes, checkCPUTimer, checkGCTime, totalCPUTimer

last modified 2007/Mar/30 17:10

alice library manual.

The Timer structure

________ Synopsis ____________________________________________________

________ Import ______________________________________________________