ref: 83246e296ea433b65b9d295b5e08fedd39ff1ab7
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; };