Registers on a scoreboard: a variable-latency result not yet waited for,
or a source an instruction may still be reading (the barrier it signals,
or none: sm121LowerUnguarded).
269family SM121LowerBoards : Type 0
270constructor SM121LowerBoardsEnd
271constructor SM121LowerBoardsNext
272field unrestricted sm121LowerBoardsRegister : Nat
273field unrestricted sm121LowerBoardsBarrier : Nat
274recursive unrestricted sm121LowerBoardsTailThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.