62family ParticipantProtocol : Type 0
63parameter erased participantOperation : Type 0
64parameter erased participantPayload : Type 0
65parameter erased participantDecision : Type 0
66constructor ParticipantProtocolEnd
67constructor ParticipantProtocolLocal
68field unrestricted participantLocalOperation : participantOperation
69recursive unrestricted participantLocalRest
70constructor ParticipantProtocolTransfer
71field unrestricted participantTransferDirection : (family ProtocolDirection)
72field unrestricted participantTransferIdentity : (family RegionTransferIdentity)
73field unrestricted participantTransferPayload : participantPayload
74recursive unrestricted participantTransferRest
75constructor ParticipantProtocolRepeat
76field unrestricted participantRepeatCount : Nat
77recursive unrestricted participantRepeatBody
78recursive unrestricted participantRepeatRest
79constructor ParticipantProtocolChoice
80field unrestricted participantChoiceRole : Nat
81field unrestricted participantChoiceIdentity : (family RegionTransferIdentity)
82field unrestricted participantChoiceSelector : participantDecision
83field unrestricted participantChoiceAnnouncements : (family ProtocolAnnouncements participantPayload)
84recursive unrestricted participantChoiceZero
85recursive unrestricted participantChoiceOne
86recursive unrestricted participantChoiceRestThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.