The registers a program names, as a mask of four 64-bit words.
66family SM121LowerMask : Type 0
67constructor SM121LowerMaskValue
68field unrestricted sm121LowerMask0 : Nat
69field unrestricted sm121LowerMask1 : Nat
70field unrestricted sm121LowerMask2 : Nat
71field unrestricted sm121LowerMask3 : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.