module Down:sig
..end
type
t = {
|
tick : |
|
wait : |
val create : int -> 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.