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 477–485

nativeTelemetryPublicationCommands

Full file
477def nativeTelemetryPublicationCommands =
478  (lambda unrestricted applicationBytes : Nat .
479    (lambda unrestricted ordinaryCapacity : Nat .
480      (lambda unrestricted reservedCapacity : Nat .
481        (nativeTelemetryPublicationCommandsForBody
482          applicationBytes
483          ordinaryCapacity
484          reservedCapacity
485          (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.