101def participantBoundsLower =
102 (lambda unrestricted bounds : (family ParticipantBounds) .
103 (eliminate
104 ParticipantBounds
105 (lambda unrestricted current : (family ParticipantBounds) . Nat)
106 bounds
107 (branch ParticipantBoundsOf lower upper count nodes depth . lower)))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.