Questions about microbit and Nordic nrf51
Each of the compare events has its own 32-bit register, which can have a value of 0 or 1.
That is how events are implemented on an NRF51 MCU in general. Note that NordicSemi has nice definitions for the Timer peripherial registers (and all others) in their C headers.