266def protocolChoice =
267 (lambda erased operation : Type 0 .
268 (lambda erased payload : Type 0 .
269 (lambda erased decision : Type 0 .
270 (lambda unrestricted identity : (family RegionTransferIdentity) .
271 (lambda unrestricted selector : decision .
272 (lambda unrestricted announcements : (family ProtocolAnnouncements payload) .
273 (lambda unrestricted zeroBody : (family GlobalProtocol operation payload decision) .
274 (lambda unrestricted oneBody : (family GlobalProtocol operation payload decision) .
275 (lambda unrestricted rest : (family GlobalProtocol operation payload decision) .
276 (constructor
277 GlobalProtocol
278 GlobalProtocolChoice
279 operation
280 payload
281 decision
282 identity
283 selector
284 announcements
285 zeroBody
286 oneBody
287 rest))))))))))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.