116def participantProtocolEmpty =
117 (lambda erased operation : Type 0 .
118 (lambda erased payload : Type 0 .
119 (lambda erased decision : Type 0 .
120 (lambda unrestricted program : (family ParticipantProtocol operation payload decision) .
121 (eliminate
122 ParticipantProtocol
123 (lambda unrestricted current : (family ParticipantProtocol operation payload decision) .
124 Nat)
125 program
126 (branch ParticipantProtocolEnd . 1)
127 (branch ParticipantProtocolLocal value rest induction . 0)
128 (branch ParticipantProtocolTransfer direction identity value rest induction . 0)
129 (branch ParticipantProtocolRepeat count body rest bodyInduction restInduction . 0)
130 (branch
131 ParticipantProtocolChoice
132 role
133 identity
134 selector
135 announcements
136 zeroBody
137 oneBody
138 rest
139 zeroInduction
140 oneInduction
141 restInduction
142 .
143 0))))))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.