376def nativePhysicalNativeLEA =
377 (lambda unrestricted destination : (family X86NativeRegister64) .
378 (lambda unrestricted target : Bytes .
379 (lambda unrestricted tail : (family X86NativeAssembly) .
380 (constructor
381 X86NativeAssembly
382 X86NativeAssemblyLoadEffectiveAddressRIPLabel
383 destination
384 target
385 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.