136def nativeMemoryRoutineTelemetrySuccess =
137 (lambda unrestricted code : Bytes .
138 (lambda unrestricted digest : Bytes .
139 (constructor
140 NativeMemoryRoutineTelemetry
141 NativeMemoryRoutineTelemetryValue
142 nativeMemoryCopyInstructionCount
143 (bytes-length code)
144 zero
145 zero
146 digest
147 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.