module Down:Simple countdowns.sig
..end
type ('a, 'b)
t = {
|
tick : |
|
wait : |
val create : int -> ('a, 'b) t
create n
returns a countdown c
for n
events.
That is, after n
messages on c.tick
, the call
c.wait()
will return.
Observe that at most one call c.wait()
returns.