The message.
A 1-indexed counter for our local transactions.
The pair (senderID, senderCounter)
uniquely
identifies the message's transaction. It is sometimes called a causal dot.
The message's sender: our AbstractDoc.replicaID/CRuntime.replicaID.
Generated using TypeDoc
Event emitted by CRuntime or AbstractDoc when a message is to be sent, due to a local transaction.