Hello,On Sat, 2007-08-04 at 12:29 +0200, Philippe Wang wrote:tmp123@menta.net wrote:Of the standard modules, the most similar seems "set", because allows insertion and has the funcion "min_elt". However, the problem is, if two timers have the same time, addition of the second one removes the first. Please, has someone any sugestion? Thanks a lot.You must keep a list of functions to fire off at a given time, so the map will be time -> timerid list and you'll also need timerid -> time * (unit->unit) to fetch the function from the id.