517def participantSelectionBytes =
518 (lambda unrestricted selection : (family ParticipantSelection) .
519 (eliminate
520 ParticipantSelection
521 (lambda unrestricted current : (family ParticipantSelection) . Bytes)
522 selection
523 (branch
524 ParticipantStride
525 first
526 stride
527 count
528 .
529 (bytes-append
530 b"S"
531 (bytes-append
532 (participantWord first)
533 (bytes-append (participantWord stride) (participantWord count)))))
534 (branch
535 ParticipantRepeat
536 count
537 stride
538 inner
539 induction
540 .
541 (bytes-append
542 b"R"
543 (bytes-append (participantWord count) (bytes-append (participantWord stride) induction))))
544 (branch
545 ParticipantJoin
546 left
547 right
548 leftResult
549 rightResult
550 .
551 (bytes-append b"J" (bytes-append leftResult rightResult)))))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.