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 107–113

captureValuesScratchAt

Full file
107def captureValuesScratchAt =
108  (lambda unrestricted applicationBytes : Nat .
109    (lambda unrestricted ordinaryCapacity : Nat .
110      (lambda unrestricted reservedCapacity : Nat .
111        (naturalAdd
112          (captureQueueAt applicationBytes)
113          (captureQueueBytes 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.