util.timer: Add Teal interface description

This commit is contained in:
Kim Alvefur 2022-07-24 21:39:51 +02:00
parent 49497f25d3
commit 93f6968077

8
teal-src/util/timer.d.tl Normal file
View file

@ -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