143def identityAddImmediate =
144 (lambda unrestricted destination : (family X86NativeRegister64) .
145 (lambda unrestricted value : Nat .
146 (identityEmit
147 (constructor
148 X86NativeInstruction
149 X86NativeAddImmediate64
150 destination
151 (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.