From 93f6968077f48338ff7f925e45f365e7084dd524 Mon Sep 17 00:00:00 2001 From: Kim Alvefur Date: Sun, 24 Jul 2022 21:39:51 +0200 Subject: util.timer: Add Teal interface description --- teal-src/util/timer.d.tl | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 teal-src/util/timer.d.tl diff --git a/teal-src/util/timer.d.tl b/teal-src/util/timer.d.tl new file mode 100644 index 00000000..a6394cf3 --- /dev/null +++ b/teal-src/util/timer.d.tl @@ -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 -- cgit v1.2.3