The global syntax describes dependency order, independent of a device or
learning algorithm. Repeated and conditional bodies remain shared syntax.
29family GlobalProtocol : Type 0
30parameter erased protocolOperation : Type 0
31parameter erased protocolPayload : Type 0
32parameter erased protocolDecision : Type 0
33constructor GlobalProtocolEnd
34constructor GlobalProtocolLocal
35field unrestricted globalLocalParticipant : Nat
36field unrestricted globalLocalOperation : protocolOperation
37recursive unrestricted globalLocalRest
38constructor GlobalProtocolTransfer
39field unrestricted globalTransferIdentity : (family RegionTransferIdentity)
40field unrestricted globalTransferPayload : protocolPayload
41recursive unrestricted globalTransferRest
42constructor GlobalProtocolRepeat
43field unrestricted globalRepeatCount : Nat
44recursive unrestricted globalRepeatBody
45recursive unrestricted globalRepeatRest
46constructor GlobalProtocolChoice
47field unrestricted globalChoiceIdentity : (family RegionTransferIdentity)
48field unrestricted globalChoiceSelector : protocolDecision
49field unrestricted globalChoiceAnnouncements : (family ProtocolAnnouncements protocolPayload)
50recursive unrestricted globalChoiceZero
51recursive unrestricted globalChoiceOne
52recursive unrestricted globalChoiceRestThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.