The size of child `index` (from 0): the descendants divided as evenly as
possible, the remainder going to the first children.
78def participantTreeChildSize =
79 (lambda unrestricted fanout : Nat .
80 (lambda unrestricted size : Nat .
81 (lambda unrestricted index : Nat .
82 (let unrestricted below =
83 (naturalPredecessor size)
84 in
85 (let unrestricted children =
86 (participantTreeChildCount fanout size)
87 in
88 (naturalAdd
89 (naturalDivideUnchecked below children)
90 (naturalSelect (naturalLess index (naturalModuloUnchecked below children)) 1 0)))))))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.