# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1658691591 -7200
# Node ID 7eca6c919d5ed409c36b22fe2b3cdfd8358ed631
# Parent  b462fbc600f27f7c7ffee5001ddaa52bd82f9b2c
util.timer: Add Teal interface description

diff -r b462fbc600f2 -r 7eca6c919d5e teal-src/util/timer.d.tl
--- /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