AlphaGitHub
Source/Packages

Runtime.NativeTelemetryDrain

packages/execution/src/Runtime/NativeTelemetryDrain.alpha

1,049 lines25 declarations49.5 KiBSHA-256 9b04cf809111
Download exact fileView at revision426597bda5753d86c4

def · lines 118–120

drainAppendRoutine

Full file
118def drainAppendRoutine =
119  (lambda unrestricted bound : Nat .
120    (compiler-native-encode (family X86NativeAssembly) (drainAppendAssembly bound)))

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.