AlphaGitHub
Source/Packages

Runtime.NativeTelemetryPolicy

packages/execution/src/Runtime/NativeTelemetryPolicy.alpha

2,209 lines52 declarations108.2 KiBSHA-256 32a9bdfdc18e
Download exact fileView at revision426597bda5753d86c4

def · lines 1927–1935

nativeTelemetryContinuationRoutine

Full file
1927def nativeTelemetryContinuationRoutine =
1928  (lambda unrestricted required : Nat .
1929    (compiler-native-encode
1930      (family X86NativeAssembly)
1931      (telemetryPolicyContinuationAssemblyFor
1932        (family X86NativeAssembly)
1933        (family X86NativeRegister64)
1934        policyX86Backend
1935        required)))

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.