AlphaGitHub
Source/Packages

Runtime.LinuxSyscall

packages/execution/src/Runtime/LinuxSyscall.alpha

1,665 lines304 declarations54.1 KiBSHA-256 9709d26c0165
Download exact fileView at revisionf5034773ad4bb52133

family · lines 204–212

LinuxSyscallReceiptTelemetry

Full file
204family LinuxSyscallReceiptTelemetry : Type 0
205constructor LinuxSyscallReceiptTelemetryValue
206field unrestricted linuxReceiptSyscallsIssued : Nat
207field unrestricted linuxReceiptSyscallsCompleted : Nat
208field unrestricted linuxReceiptInterruptedRetries : Nat
209field unrestricted linuxReceiptRequestedBytes : (family ModelWord64)
210field unrestricted linuxReceiptCompletedBytes : (family ModelWord64)
211field unrestricted linuxReceiptEOFObserved : Nat
212field unrestricted linuxReceiptCleanup : (family LinuxCleanupTelemetry)

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.