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