A low-level body constructor, like nativeTelemetryRecordBodyForVersion.
The caller must admit its control snapshot and typed payload before seal;
the strict collector independently rechecks both against the original bytes.
602def publicationTypedBody =
603 (lambda unrestricted ordinal : (family ModelWord64) .
604 (lambda unrestricted terminal : Byte .
605 (lambda unrestricted counters : (family NativeTelemetryCounters) .
606 (lambda unrestricted identities : Bytes .
607 (lambda unrestricted priorNext : (family ModelWord64) .
608 (lambda unrestricted records : (family StdList Bytes) .
609 (let unrestricted payload =
610 (bytes-append
611 (nativeTelemetryWord64Bytes priorNext)
612 (publicationTypedRecordBytes records))
613 in
614 (nativeTelemetryRecordBodyForVersion
615 (byte 3)
616 ordinal
617 nativeTelemetryZeroWord64
618 (byte 0)
619 (byte 0)
620 (byte 0)
621 terminal
622 counters
623 identities
624 b""
625 payload
626 nativeTelemetryZeroWord64
627 (modelWord64FromNaturalTruncated (bytes-length 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.