Threadext.Delayval make : unit -> tval wait : t -> float -> boolBlocks the calling thread for a given period of time with the option of returning early if someone calls 'signal'. Returns true if the full time period elapsed and false if signalled. Note that multple 'signals' are coalesced; 'signals' sent before 'wait' is called are not lost.
val signal : t -> unitSends a signal to a waiting thread. See 'wait'