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 328–336

publicationSealAndCommitCommands

Full file
328def publicationSealAndCommitCommands =
329  (lambda unrestricted applicationBytes : Nat .
330    (lambda unrestricted ordinaryCapacity : Nat .
331      (lambda unrestricted reservedCapacity : Nat .
332        (publicationSealAndCommitCommandsForBody
333          applicationBytes
334          ordinaryCapacity
335          reservedCapacity
336          (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.