Part of `nativeTelemetryBuildRecord`, lifted out to keep it inside the §28.3 size and
nesting limits; the parameters are the locals it still needs.
346def nativeTelemetryBuildRecordPart1 =
347 (lambda unrestricted sequence : (family ModelWord64) .
348 (lambda unrestricted monotonic : (family ModelWord64) .
349 (lambda unrestricted counters : (family NativeTelemetryCounters) .
350 (lambda unrestricted identity : Bytes .
351 (lambda unrestricted errorCode : Bytes .
352 (lambda unrestricted payload : Bytes .
353 (lambda unrestricted errorExtent : (family ModelWord64) .
354 (lambda unrestricted payloadExtent : (family ModelWord64) .
355 (bytes-builder-build
356 (bytes-builder-append
357 (bytes-builder-chunk (nativeTelemetryWord64Bytes sequence))
358 (bytes-builder-append
359 (bytes-builder-chunk (nativeTelemetryWord64Bytes monotonic))
360 (bytes-builder-append
361 (bytes-builder-chunk (nativeTelemetryEncodeCounters counters))
362 (bytes-builder-append
363 (bytes-builder-chunk identity)
364 (bytes-builder-append
365 (bytes-builder-chunk (nativeTelemetryWord64Bytes errorExtent))
366 (bytes-builder-append
367 (bytes-builder-chunk errorCode)
368 (bytes-builder-append
369 (bytes-builder-chunk (nativeTelemetryWord64Bytes payloadExtent))
370 (bytes-builder-chunk payload)))))))))))))))))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.