edges_io.io.ReceiverReading.repeat_num#

ReceiverReading.repeat_num: int#