AlphaGitHub
Source/Packages

Runtime.NativeTelemetryDrain

packages/execution/src/Runtime/NativeTelemetryDrain.alpha

1,049 lines25 declarations49.5 KiBSHA-256 9b04cf809111
Download exact fileView at revision426597bda5753d86c4

def · lines 613–623

drainReadTagRoutine

Full file
613def drainReadTagRoutine =
614  (lambda unrestricted ordinaryCapacity : Nat .
615    (lambda unrestricted reservedCapacity : Nat .
616      (lambda unrestricted routes : (family TelemetryRecordRoutes) .
617        (nativeTelemetryDrainRoutineFor
618          (constructor
619            TelemetryDrainRoutineKind
620            TelemetryDrainReadTagRoutine
621            ordinaryCapacity
622            reservedCapacity
623            routes)))))

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.