Standard ML of New Jersey


The INTERVAL_TIMER signature


Synopsis

signature INTERVAL_TIMER
structure 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.



[ Top | Parent | Contents | Index | Root ]

Last Modified October 28, 1997
Comments to sml-nj@research.bell-labs.com
Copyright © 1998 Bell Labs, Lucent Technologies