microbit的定时器问题

bxy 里面有一个necir库用来接收ir信号，非常好用。
例子代码是这样的：
import necirdef cb(addr,cmd):  print('addr=',hex(addr))  print('cmd=',hex(cmd))necir.init(16)  necir.read(cb)while True:  pass我发现necir[color=rgb(0, 0, 0) !important].[color=rgb(0, 0, 0) !important]read[color=rgb(0, 0, 0) !important]([color=rgb(0, 0, 0) !important]cb[color=rgb(0, 0, 0) !important])这里是把cb做为回调函数！请问在microbit这里是怎么实现的呢？[color=rgb(0, 0, 0) !important]我找了很久很久，都没发现microbit有定时器库，这里是怎么实现回调函数实现的呢？[color=rgb(0, 0, 0) !important]>>> machine.
__name__        unique_id       reset           freq
disable_irq     enable_irq      mem8            mem16
mem32           time_pulse_us

没有timer库呢？请问如何实现的呢？

这个程序看着头晕