The node's children, as nodes, in role order.
201def participantTreeChildren =
202 (lambda unrestricted fanout : Nat .
203 (lambda unrestricted node : (family ParticipantTreeNode) .
204 (stdListMap
205 Nat
206 (family ParticipantTreeNode)
207 (participantTreeChildNode fanout node)
208 (stdListNaturalsBelow (participantTreeChildCount fanout (participantTreeSizeOf node))))))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.