58family SM121LowerRegisters : Type 0
59constructor SM121LowerRegistersEnd
60constructor SM121LowerRegistersNext
61field unrestricted sm121LowerRegistersHead : Nat
62recursive unrestricted sm121LowerRegistersTailThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.