109def participantBoundsUpper =
110 (lambda unrestricted bounds : (family ParticipantBounds) .
111 (eliminate
112 ParticipantBounds
113 (lambda unrestricted current : (family ParticipantBounds) . Nat)
114 bounds
115 (branch ParticipantBoundsOf lower upper count nodes depth . upper)))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.