AlphaGitHub
Source/Packages

Runtime.TelemetryPublication

packages/execution/src/Runtime/TelemetryPublication.alpha

627 lines66 declarations23.6 KiBSHA-256 12de32412e73
Download exact fileView at revision426597bda5753d86c4

def · lines 517–533

publicationTypedRecordBytes

Full file
517def publicationTypedRecordBytes =
518  (lambda unrestricted records : (family StdList Bytes) .
519    (bytes-builder-build
520      (eliminate
521        StdList
522        (lambda unrestricted current : (family StdList Bytes) . BytesBuilder)
523        records
524        (branch StdListEmpty . (bytes-builder-empty))
525        (branch
526          StdListCons
527          head
528          tail
529          induction
530          .
531          (bytes-builder-append
532            (bytes-builder-chunk head)
533            (bytes-builder-append (bytes-builder-chunk b"\n") induction))))))

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.