author | Kim Alvefur <zash@zash.se> |
Sun, 24 Jul 2022 21:39:51 +0200 | |
changeset 12628 | 7eca6c919d5e |
parent 12627 | b462fbc600f2 |
child 12629 | e43a01641ca1 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/teal-src/util/timer.d.tl Sun Jul 24 21:39:51 2022 +0200 @@ -0,0 +1,8 @@ +local record util_timer + record task end + type timer_callback = function (number) : number + add_task : function ( number, timer_callback, any ) : task + stop : function ( task ) + reschedule : function ( task, number ) : task +end +return util_timer