AlphaGitHub
Source/Packages

Runtime.NativeTelemetryCapture

packages/execution/src/Runtime/NativeTelemetryCapture.alpha

290 lines32 declarations10.6 KiBSHA-256 121f68d414a3
Download exact fileView at revision426597bda5753d86c4

def · lines 82–92

captureStore

Full file
82def captureStore =
83  (lambda unrestricted base : (family X86NativeRegister64) .
84    (lambda unrestricted offset : Nat .
85      (lambda unrestricted source : (family X86NativeRegister64) .
86        (captureEmit
87          (constructor
88            X86NativeInstruction
89            X86NativeStoreMemory64
90            base
91            (x86NativeDisplacement32FromNatural offset)
92            source)))))

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.