983def sm121LowerRegister =
984 (lambda unrestricted register : (family SM86Register) .
985 (eliminate
986 SM86Register
987 (lambda unrestricted current : (family SM86Register) . Nat)
988 register
989 (branch SM86RegisterValue value . (byte-to-nat value))))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.