[−][src]Module tcb::graph::middleware::dot
Pair id, cntr that is tagged to each message before sending.
Structs
Dot | A dot is a pair id and counter, which are, respectivally, the peer's globally unique identifier and a monotonically increasing counter that grows with each sent message. |