318def participantCompileSelection =
319 (lambda unrestricted selection : (family ParticipantSelection) .
320 (eliminate
321 ParticipantSelection
322 (lambda unrestricted current : (family ParticipantSelection) .
323 (family StdResult (family ParticipantGroupFailure) (family ParticipantIndex)))
324 selection
325 (branch ParticipantStride first stride count . (participantCompileStride first stride count))
326 (branch
327 ParticipantRepeat
328 count
329 stride
330 inner
331 induction
332 .
333 (stdResultBind
334 (family ParticipantGroupFailure)
335 (family ParticipantIndex)
336 (family ParticipantIndex)
337 induction
338 (lambda unrestricted indexed : (family ParticipantIndex) .
339 (participantCompileRepeat count stride indexed))))
340 (branch
341 ParticipantJoin
342 left
343 right
344 leftResult
345 rightResult
346 .
347 (stdResultBind
348 (family ParticipantGroupFailure)
349 (family ParticipantIndex)
350 (family ParticipantIndex)
351 leftResult
352 (lambda unrestricted leftIndex : (family ParticipantIndex) .
353 (stdResultBind
354 (family ParticipantGroupFailure)
355 (family ParticipantIndex)
356 (family ParticipantIndex)
357 rightResult
358 (lambda unrestricted rightIndex : (family ParticipantIndex) .
359 (participantCompileJoin leftIndex rightIndex))))))))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.