70def captureLoad =
71 (lambda unrestricted destination : (family X86NativeRegister64) .
72 (lambda unrestricted base : (family X86NativeRegister64) .
73 (lambda unrestricted offset : Nat .
74 (captureEmit
75 (constructor
76 X86NativeInstruction
77 X86NativeLoadMemory64
78 destination
79 base
80 (x86NativeDisplacement32FromNatural offset))))))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.