AlphaGitHub
Source/Packages

Runtime.NativeTelemetryPublication

packages/execution/src/Runtime/NativeTelemetryPublication.alpha

485 lines20 declarations21.3 KiBSHA-256 dc20376400cd
Download exact fileView at revision426597bda5753d86c4

def · lines 154–160

nativeTelemetryPublicationPrepareRoutine

Full file
154def nativeTelemetryPublicationPrepareRoutine =
155  (lambda unrestricted ordinaryCapacity : Nat .
156    (lambda unrestricted reservedCapacity : Nat .
157      (nativeTelemetryPublicationPrepareRoutineForBody
158        ordinaryCapacity
159        reservedCapacity
160        (publicationBodyMaximumBytes ordinaryCapacity reservedCapacity))))

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.