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 81–93

nativeTelemetryDecimalCellRoutine

Full file
81def nativeTelemetryDecimalCellRoutine =
82  (lambda unrestricted signed : Nat .
83    (aosChoose
84      Bytes
85      (naturalLessOrEqual signed 1)
86      (compiler-native-encode
87        (family X86NativeAssembly)
88        (telemetryValueAssemblyFor
89          (family X86NativeAssembly)
90          (family X86NativeRegister64)
91          valueX86Backend
92          (constructor TelemetryValueRoutineKind TelemetryValueDecimalRoutine signed)))
93      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.