2233def sm121LowerBoardsEmpty =
2234 (lambda unrestricted boards : (family SM121LowerBoards) .
2235 (eliminate
2236 SM121LowerBoards
2237 (lambda unrestricted current : (family SM121LowerBoards) . Nat)
2238 boards
2239 (branch SM121LowerBoardsEnd . 1)
2240 (branch SM121LowerBoardsNext entry barrier tail induction . zero)))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.