bit (barrier - 1) of the mask, for barrier 1..6; never for 0 or 8
129def scoreboardMaskNames =
130 (lambda unrestricted mask : Nat .
131 (lambda unrestricted barrier : Nat .
132 (nat-eliminate
133 (lambda unrestricted current : Nat . Nat)
134 zero
135 (lambda unrestricted predecessor : Nat . (lambda unrestricted ignored : Nat .
136 (naturalAnd (naturalLess predecessor 7)
137 (nat-modulo (nat-divide mask (naturalPowerOfTwo predecessor)) 2))))
138 barrier)))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.