diff options
Diffstat (limited to 'module/timers.m')
| -rw-r--r-- | module/timers.m | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/module/timers.m b/module/timers.m new file mode 100644 index 00000000..4d2cdb58 --- /dev/null +++ b/module/timers.m @@ -0,0 +1,17 @@ +Timers: module +{ + PATH: con "/dis/lib/timers.dis"; + + Sec: con 1000; + + Timer: adt { + dt: int; + timeout: chan of int; + + start: fn(msec: int): ref Timer; + stop: fn(t: self ref Timer); + }; + + init: fn(gran: int): int; + shutdown: fn(); +}; |
