summaryrefslogtreecommitdiff
path: root/appl/cmd/lego/timers.m
diff options
context:
space:
mode:
Diffstat (limited to 'appl/cmd/lego/timers.m')
-rw-r--r--appl/cmd/lego/timers.m17
1 files changed, 17 insertions, 0 deletions
diff --git a/appl/cmd/lego/timers.m b/appl/cmd/lego/timers.m
new file mode 100644
index 00000000..5cc2b731
--- /dev/null
+++ b/appl/cmd/lego/timers.m
@@ -0,0 +1,17 @@
+Timers : module{
+ PATH: con "/dis/lego/timers.dis";
+
+ Timer : adt {
+ id : int;
+ tick : chan of int;
+
+ reset : fn (t : self ref Timer);
+ cancel : fn (t : self ref Timer);
+ destroy : fn (t : self ref Timer);
+ };
+
+ init : fn (res : int);
+ new : fn(ms, rep : int) : ref Timer;
+};
+
+