blob: 5cc2b731f9ba8feccbac0be98f1142b0a4202d90 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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;
};
|
