equal
deleted
inserted
replaced
1 local record util_timer |
|
2 record task end |
|
3 type timer_callback = function (number) : number |
|
4 add_task : function ( number, timer_callback, any ) : task |
|
5 stop : function ( task ) |
|
6 reschedule : function ( task, number ) : task |
|
7 end |
|
8 return util_timer |
|