ref: 41e27b2d10c6a60c49931332e8677438736a1e36
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; };