ref: 82b046f36f8084a22bbb5d71edd0edd9179561eb
dir: /appl/demo/lego/timers.m/
Timers : module{ 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; };