module Down:Simple countdowns.sig..end
type ('a, 'b) t = {
|
tick : |
|
wait : |
val create : int -> ('a, 'b) tcreate 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.