292def nativePhysicalNativeImmediate64 =
293 (lambda unrestricted byte0 : Byte .
294 (lambda unrestricted byte1 : Byte .
295 (lambda unrestricted byte2 : Byte .
296 (lambda unrestricted byte3 : Byte .
297 (lambda unrestricted byte4 : Byte .
298 (lambda unrestricted byte5 : Byte .
299 (lambda unrestricted byte6 : Byte .
300 (lambda unrestricted byte7 : Byte .
301 (constructor
302 X86NativeImmediate64
303 X86NativeImmediate64Value
304 byte0
305 byte1
306 byte2
307 byte3
308 byte4
309 byte5
310 byte6
311 byte7)))))))))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.