The record's body -- what its digest covers -- from its fields and the
two extents; `nativeTelemetryBuildRecord` frames it with the magic and
the digest, and an executable that seals a record at run time
(Runtime.NativeTelemetrySeal) starts from it.
376def nativeTelemetryRecordBody =
377 (lambda unrestricted sequence : (family ModelWord64) . (lambda unrestricted monotonic : (family ModelWord64) .
378 (lambda unrestricted domain : Byte . (lambda unrestricted event : Byte . (lambda unrestricted phase : Byte . (lambda unrestricted status : Byte .
379 (lambda unrestricted counters : (family NativeTelemetryCounters) . (lambda unrestricted identity : Bytes .
380 (lambda unrestricted errorCode : Bytes . (lambda unrestricted payload : Bytes .
381 (lambda unrestricted errorExtent : (family ModelWord64) . (lambda unrestricted payloadExtent : (family ModelWord64) .
382 (bytes-cons nativeTelemetryVersion (bytes-cons domain (bytes-cons event (bytes-cons phase (bytes-cons status
383 (nativeTelemetryBuildRecordPart1 sequence monotonic counters identity errorCode payload errorExtent payloadExtent))))))))))))))))))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.