AlphaGitHub
Source/Packages

Runtime.NativeTelemetryValue

packages/execution/src/Runtime/NativeTelemetryValue.alpha

156 lines10 declarations5.1 KiBSHA-256 fe96a5e150c4
Download exact fileView at revision426597bda5753d86c4

def · lines 95–112

nativeTelemetryHexCellRoutine

Full file
95def nativeTelemetryHexCellRoutine =
96  (lambda unrestricted width : Nat .
97    (lambda unrestricted reverse : Nat .
98      (aosChoose
99        Bytes
100        (naturalAnd
101          (naturalNonzero width)
102          (naturalAnd
103            (naturalLessOrEqual width telemetryHexSourceMaximumBytes)
104            (naturalLessOrEqual reverse 1)))
105        (compiler-native-encode
106          (family X86NativeAssembly)
107          (telemetryValueAssemblyFor
108            (family X86NativeAssembly)
109            (family X86NativeRegister64)
110            valueX86Backend
111            (constructor TelemetryValueRoutineKind TelemetryValueHexRoutine width reverse)))
112        b"")))

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.