AlphaGitHub
Source/Packages

Runtime.LinuxSyscall

packages/execution/src/Runtime/LinuxSyscall.alpha

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

def · lines 1532–1537

linuxRejectExactIO

Full file
1532def linuxRejectExactIO =
1533  (lambda unrestricted error : (family LinuxSyscallContractErrorCode) .
1534    (lambda unrestricted expected : (family ModelWord64) .
1535      (lambda unrestricted actual : (family ModelWord64) .
1536        (lambda unrestricted telemetry : (family LinuxSyscallReceiptTelemetry) .
1537          (constructor LinuxExactIOValidation LinuxExactIORejected error expected actual telemetry)))))

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.