ref: 84989770721391018dd6a247831cb79a43c1d86b
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; };