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 114–128

captureWithIdentityArenaResidents

Full file
114def captureWithIdentityArenaResidents =
115  (lambda unrestricted applicationBytes : Nat .
116    (lambda unrestricted ordinaryCapacity : Nat .
117      (lambda unrestricted reservedCapacity : Nat .
118        (constructor
119          ArenaResidents
120          ArenaResidentsNext
121          (constructor
122            ArenaResident
123            ArenaResidentValue
124            b"telemetry-identities"
125            (captureIdentityAt applicationBytes ordinaryCapacity reservedCapacity)
126            telemetryIdentitySetBytes
127            captureWordBytes)
128          (captureArenaResidents applicationBytes 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.