2155def sm121LowerBoardsHas =
2156 (lambda unrestricted boards : (family SM121LowerBoards) .
2157 (lambda unrestricted register : Nat .
2158 (eliminate
2159 SM121LowerBoards
2160 (lambda unrestricted current : (family SM121LowerBoards) . Nat)
2161 boards
2162 (branch SM121LowerBoardsEnd . zero)
2163 (branch SM121LowerBoardsNext entry barrier tail induction .
2164 (nat-eliminate (lambda unrestricted current : Nat . Nat)
2165 induction
2166 (lambda unrestricted flagPredecessor : Nat . (lambda unrestricted flagRest : Nat . (succ zero)))
2167 (naturalEqual entry register))))))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.