143def nativeMemoryRoutineTelemetrySuccess =
144 (lambda unrestricted code : Bytes .
145 (lambda unrestricted digest : Bytes .
146 (constructor
147 NativeMemoryRoutineTelemetry
148 NativeMemoryRoutineTelemetryValue
149 nativeMemoryCopyInstructionCount
150 (bytes-length code)
151 zero
152 zero
153 digest
154 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.