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