290def nativePhysicalNativeLEA =
291 (lambda unrestricted destination : (family X86NativeRegister64) .
292 (lambda unrestricted target : Bytes .
293 (lambda unrestricted tail : (family X86NativeAssembly) .
294 (constructor
295 X86NativeAssembly
296 X86NativeAssemblyLoadEffectiveAddressRIPLabel
297 destination
298 target
299 tail))))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.