AlphaGitHub
Source/Packages

Runtime.TelemetryValueRoutine

packages/execution/src/Runtime/TelemetryValueRoutine.alpha

481 lines48 declarations24.2 KiBSHA-256 c07bb11743d3
Download exact fileView at revision426597bda5753d86c4

family · lines 31–43

TelemetryValueRoutineKind

Full file
31family TelemetryValueRoutineKind : Type 0
32constructor TelemetryValueDecimalRoutine
33field unrestricted valueDecimalRoutineSigned : Nat
34constructor TelemetryValueHexRoutine
35field unrestricted valueHexRoutineWidth : Nat
36field unrestricted valueHexRoutineReverse : Nat
37constructor TelemetryValueWordRoutine
38field unrestricted valueWordRoutineSigned : Nat
39field unrestricted valueWordRoutineOffset : Nat
40constructor TelemetryValueSliceRoutine
41field unrestricted valueSliceRoutineWidth : Nat
42field unrestricted valueSliceRoutineReverse : Nat
43field unrestricted valueSliceRoutineOffset : Nat

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.