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.