115def summary =
116 (lambda unrestricted group : (family ParticipantGroup) .
117 (eliminate
118 StdResult
119 (lambda unrestricted result : (family StdResult (family ParticipantGroupFailure) (family ParticipantIndex)) .
120 Bytes)
121 (participantAdmit group 16 8)
122 (branch StdFailure reason . b"")
123 (branch
124 StdSuccess
125 index
126 .
127 (bytes-append
128 (participantWord (participantCountOf index))
129 (bytes-append
130 (participantWord (participantNodesOf index))
131 (bytes-append
132 (participantWord (participantDepthOf index))
133 (bytes-append
134 (participantWord (participantLowerOf index))
135 (participantWord (participantUpperOf index)))))))))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.