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 334–344

telemetryDrainScratchAt

Full file
334def telemetryDrainScratchAt =
335  (lambda unrestricted applicationBytes : Nat .
336    (lambda unrestricted ordinaryCapacity : Nat .
337      (lambda unrestricted reservedCapacity : Nat .
338        (lambda unrestricted bound : Nat .
339          (captureAlign
340            (publicationWholeArenaBytesForBody
341              applicationBytes
342              ordinaryCapacity
343              reservedCapacity
344              bound))))))

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.