edges_io.io.ReceiverReading.run_num#

property ReceiverReading.run_num: int#