Derived caches belong to the admitted compiler index. The unchecked selectors
below must consume participantAdmit's result; arbitrary hand-built indexes
are not certificates. A worker retains only its projected roles/edges, not
this entire index. Lookup follows one structural path, never a rank list.
53family ParticipantIndex : Type 0
54constructor ParticipantStrideIndex
55field unrestricted participantStrideBounds : (family ParticipantBounds)
56field unrestricted participantIndexStride : Nat
57constructor ParticipantRepeatIndex
58field unrestricted participantRepeatBounds : (family ParticipantBounds)
59field unrestricted participantIndexRepeatStride : Nat
60recursive unrestricted participantInnerIndex
61constructor ParticipantJoinIndex
62field unrestricted participantJoinBounds : (family ParticipantBounds)
63recursive unrestricted participantLeftIndex
64recursive unrestricted participantRightIndexThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.