AlphaGitHub
Source/Packages

Runtime.Protocol

packages/execution/src/Runtime/Protocol.alpha

531 lines78 declarations19.2 KiBSHA-256 8478a48f5a66
Download exact fileView at revisionbcc11a4e7647d31628

family · lines 17–23

ProtocolAnnouncements

Full file
Routes form an ordered dissemination tree after admission. The sender must already know the decision, and each receiver is introduced exactly once. This represents declared edges, not every member of the execution fleet.
17family ProtocolAnnouncements : Type 0
18parameter erased announcementPayload : Type 0
19constructor ProtocolAnnouncementsEnd
20constructor ProtocolAnnouncementsNext
21field unrestricted announcementIdentity : (family RegionTransferIdentity)
22field unrestricted announcementBinding : announcementPayload
23recursive unrestricted announcementRest

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.