`high` waiting on every scoreboard `mask` names as well as those it waits on
1865def sm121LowerWithWaits =
1866 (lambda unrestricted mask : Nat .
1867 (lambda unrestricted high : Nat .
1868 (nat-eliminate
1869 (lambda unrestricted current : Nat . Nat)
1870 high
1871 (lambda unrestricted barrier : Nat .
1872 (lambda unrestricted induction : Nat .
1873 (naturalSelect (sm121LowerField mask (sm121LowerPlace barrier) 2)
1874 (sm121LowerWithWait (sm121LowerPlace (nat-add sm121LowerWaitBit barrier)) induction)
1875 induction)))
1876 sm121LowerBarrierCount)))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.