AlphaGitHub
Source/Packages

Runtime.NativeTelemetryRecord

packages/execution/src/Runtime/NativeTelemetryRecord.alpha

303 lines10 declarations12.7 KiBSHA-256 04d8e7b12ed4
Download exact fileView at revision426597bda5753d86c4

def · lines 59–66

nativeTelemetryRecordAdmissionRoutine

Full file
59def nativeTelemetryRecordAdmissionRoutine =
60  (lambda unrestricted program : (family TelemetryRecordPlan) .
61    (eliminate
62      TelemetryRecordPlan
63      (lambda unrestricted current : (family TelemetryRecordPlan) . Bytes)
64      program
65      (branch TelemetryRecordReady parts template . (recordAdmissionRoutine parts))
66      (branch TelemetryRecordRefused reason . b"")))

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.