Logical identity, before choosing transport or encoding. A matching byte
count alone cannot authorize a receive. Digests and authentication belong
to the wire boundary; process pointers never belong in a logical message.
11family RegionTransferIdentity : Type 0
12constructor RegionTransferIdentityOf
13field unrestricted transferComposition : Bytes
14field unrestricted transferRun : Bytes
15field unrestricted transferRegion : Bytes
16field unrestricted transferRepresentation : Bytes
17field unrestricted transferRound : (family LearningRound)
18field unrestricted transferOperation : Nat
19field unrestricted transferSender : Nat
20field unrestricted transferReceiver : Nat
21field unrestricted transferInterval : (family LogicalInterval)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.