AlphaGitHub
Source/Packages

Runtime.TelemetryRecord

packages/execution/src/Runtime/TelemetryRecord.alpha

774 lines93 declarations28.3 KiBSHA-256 d4129743e998
Download exact fileView at revision426597bda5753d86c4

def · lines 231–239

telemetryRecordDecimalPart

Full file
231def telemetryRecordDecimalPart =
232  (lambda unrestricted signed : Nat .
233    (lambda unrestricted index : Nat .
234      (constructor
235        TelemetryRecordParts
236        TelemetryRecordDecimal
237        signed
238        (telemetryCapturedWordAt index)
239        (constructor TelemetryRecordParts TelemetryRecordEnd))))

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.