The node of `role`. Admission (participantTreeAdmitted) must hold.
190def participantTreeNode =
191 (lambda unrestricted fanout : Nat .
192 (lambda unrestricted count : Nat .
193 (lambda unrestricted role : Nat .
194 (participantTreeDescend
195 fanout
196 (participantTreeFuel fanout count)
197 (participantTreeRoot count)
198 role))))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.