204def nativePhysicalNativeImmediate64 =
205 (lambda unrestricted byte0 : Byte .
206 (lambda unrestricted byte1 : Byte .
207 (lambda unrestricted byte2 : Byte .
208 (lambda unrestricted byte3 : Byte .
209 (lambda unrestricted byte4 : Byte .
210 (lambda unrestricted byte5 : Byte .
211 (lambda unrestricted byte6 : Byte .
212 (lambda unrestricted byte7 : Byte .
213 (constructor
214 X86NativeImmediate64
215 X86NativeImmediate64Value
216 byte0
217 byte1
218 byte2
219 byte3
220 byte4
221 byte5
222 byte6
223 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.