117def participantBoundsOf =
118 (lambda unrestricted index : (family ParticipantIndex) .
119 (eliminate
120 ParticipantIndex
121 (lambda unrestricted current : (family ParticipantIndex) . (family ParticipantBounds))
122 index
123 (branch ParticipantStrideIndex bounds stride . bounds)
124 (branch ParticipantRepeatIndex bounds stride inner induction . bounds)
125 (branch ParticipantJoinIndex bounds left right leftResult rightResult . bounds)))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.