The INTERVAL_TIMER signature

Synopsis

signature INTERVAL_TIMER
structure SMLofNJ.IntervalTimer : INTERVAL_TIMER


Interface

val tick : unit -> Time.time
val setIntTimer : Time.time option -> unit


Description

tick ()

Returns the granularity of the interval timer.

setIntTimer (SOME t)

setIntTimer NONE

The first form sets the interval timer to deliver an ALRM signal every t time-units from now on, and the second form turns off the interval timer.