AlphaGitHub
Source/Packages

Runtime.NativeMemoryRoutine

packages/execution/src/Runtime/NativeMemoryRoutine.alpha

297 lines42 declarations12.3 KiBSHA-256 151480701555
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 141–152

nativeMemoryRoutineTelemetrySuccess

Full file
141def nativeMemoryRoutineTelemetrySuccess =
142  (lambda unrestricted code : Bytes .
143    (lambda unrestricted digest : Bytes .
144      (constructor
145        NativeMemoryRoutineTelemetry
146        NativeMemoryRoutineTelemetryValue
147        nativeMemoryCopyInstructionCount
148        (bytes-length code)
149        zero
150        zero
151        digest
152        b"")))

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.