AlphaGitHub
Source/Packages

Runtime.TelemetryRecord

packages/execution/src/Runtime/TelemetryRecord.alpha

774 lines93 declarations28.3 KiBSHA-256 d4129743e998
Download exact fileView at revision426597bda5753d86c4

def · lines 159–165

telemetryRecordWrap

Full file
159def telemetryRecordWrap =
160  (lambda unrestricted before : Bytes .
161    (lambda unrestricted value : (family TelemetryRecordParts) .
162      (lambda unrestricted after : Bytes .
163        (telemetryRecordAppend
164          (telemetryRecordLiteral before)
165          (telemetryRecordAppend value (telemetryRecordLiteral after))))))

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.