定时器问题

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.read(cd)这里是把cb做为回调函数！
请问在microbit这里是怎么实现的呢？
我找了很久很久，都没发现microbit有定时器库，这里是怎么实现回调函数实现的呢？
pby板的machine库里面有timer的，但是 bxy里，microbit没有哦，
>> machine.
__name__        unique_id       reset           freq
disable_irq     enable_irq      mem8            mem16
mem32           time_pulse_us
                     
没有timer库呢？请问如何实现的呢？

这样的问题可以在外网问