From 93f6968077f48338ff7f925e45f365e7084dd524 Mon Sep 17 00:00:00 2001
From: Kim Alvefur <zash@zash.se>
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

(limited to 'teal-src/util')

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