Type Definition CoreId
atopology
type CoreId = u64;
A core, with one or more threads (unique within a packet).