104def identityCompare =
105 (lambda unrestricted register : (family X86NativeRegister64) .
106 (lambda unrestricted value : Nat .
107 (identityEmit
108 (constructor
109 X86NativeInstruction
110 X86NativeCompareImmediate64
111 register
112 (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.