113def participantTreeChildNode =
114 (lambda unrestricted fanout : Nat .
115 (lambda unrestricted node : (family ParticipantTreeNode) .
116 (lambda unrestricted index : Nat .
117 (constructor
118 ParticipantTreeNode
119 ParticipantTreeNodeOf
120 (participantTreeChildStart
121 fanout
122 (participantTreeRoleOf node)
123 (participantTreeSizeOf node)
124 index)
125 (participantTreeChildSize fanout (participantTreeSizeOf node) index)
126 (participantTreeRoleOf node)
127 (succ (participantTreeDepthOf 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.