76def sm86RegisterIndex =
77 (lambda unrestricted register : (family SM86Register) .
78 (eliminate SM86Register (lambda unrestricted current : (family SM86Register) . Nat) register
79 (branch SM86RegisterValue index . (byte-to-nat index))))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.