AlphaGitHub
Source/Packages

Runtime.TelemetryDrain

packages/execution/src/Runtime/TelemetryDrain.alpha

867 lines66 declarations34.3 KiBSHA-256 7229c44d3f7b
Download exact fileView at revision426597bda5753d86c4

def · lines 75–82

telemetryDrainRecordBytes

Full file
75def telemetryDrainRecordBytes =
76  (lambda unrestricted plan : (family TelemetryRecordPlan) .
77    (eliminate
78      TelemetryRecordPlan
79      (lambda unrestricted current : (family TelemetryRecordPlan) . Nat)
80      plan
81      (branch TelemetryRecordReady parts template . (bytes-length template))
82      (branch TelemetryRecordRefused reason . 0)))

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.