ref: 44ce0097b612a1fefd754065bdf8d9d2e5ef60c8
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; };