AlphaGitHub
Source/Packages

Runtime.TelemetryCapture

packages/execution/src/Runtime/TelemetryCapture.alpha

246 lines33 declarations8.5 KiBSHA-256 79eb60f3fee4
Download exact fileView at revision426597bda5753d86c4

def · lines 115–121

captureArenaBytes

Full file
115def captureArenaBytes =
116  (lambda unrestricted applicationBytes : Nat .
117    (lambda unrestricted ordinaryCapacity : Nat .
118      (lambda unrestricted reservedCapacity : Nat .
119        (naturalAdd
120          (captureValuesScratchAt applicationBytes ordinaryCapacity reservedCapacity)
121          captureValuesBytes))))

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.