entries whose barrier the wait mask names retire
2170def sm121LowerBoardsWait =
2171 (lambda unrestricted boards : (family SM121LowerBoards) .
2172 (lambda unrestricted mask : Nat .
2173 (eliminate
2174 SM121LowerBoards
2175 (lambda unrestricted current : (family SM121LowerBoards) . (family SM121LowerBoards))
2176 boards
2177 (branch SM121LowerBoardsEnd . sm121LowerBoardsNone)
2178 (branch SM121LowerBoardsNext entry barrier tail induction .
2179 (sm121LowerSelect (family SM121LowerBoards)
2180 (naturalAnd
2181 (nat-less-than barrier sm121LowerBarrierCount)
2182 (sm121LowerField mask (sm121LowerPlace barrier) 2))
2183 induction
2184 (constructor SM121LowerBoards SM121LowerBoardsNext entry barrier induction))))))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.