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