Membership is a coordinate relation, independent of device capability and
numerical evaluation order. Repetition shares one subgroup description;
joining ordered, disjoint ranges indexes irregular populations. These are
logical role IDs, not a claim that any physical devices executed.
15family ParticipantSelection : Type 0
16constructor ParticipantStride
17field unrestricted participantFirst : Nat
18field unrestricted participantStride : Nat
19field unrestricted participantCount : Nat
20constructor ParticipantRepeat
21field unrestricted participantRepeats : Nat
22field unrestricted participantRepeatStride : Nat
23recursive unrestricted participantRepeatedSelection
24constructor ParticipantJoin
25recursive unrestricted participantLeftSelection
26recursive unrestricted participantRightSelectionThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.