94def identitySet =
95 (lambda unrestricted register : (family X86NativeRegister64) .
96 (lambda unrestricted value : Nat .
97 (identityEmit
98 (constructor
99 X86NativeInstruction
100 X86NativeMoveImmediate32
101 register
102 (x86NativeImmediate32FromNatural 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.