AlphaGitHub
Source/Packages

Runtime.TelemetryIdentity

packages/execution/src/Runtime/TelemetryIdentity.alpha

142 lines16 declarations5.7 KiBSHA-256 648bdb8d2e8a
Download exact fileView at revision426597bda5753d86c4

def · lines 106–112

captureWithIdentityArenaBytes

Full file
106def captureWithIdentityArenaBytes =
107  (lambda unrestricted applicationBytes : Nat .
108    (lambda unrestricted ordinaryCapacity : Nat .
109      (lambda unrestricted reservedCapacity : Nat .
110        (naturalAdd
111          (captureIdentityAt applicationBytes ordinaryCapacity reservedCapacity)
112          telemetryIdentitySetBytes))))

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.