1539def linuxExactIOShortError =
1540 (lambda unrestricted kind : (family LinuxExactIOKind) .
1541 (lambda unrestricted telemetry : (family LinuxSyscallReceiptTelemetry) .
1542 (eliminate
1543 LinuxExactIOKind
1544 (lambda unrestricted current : (family LinuxExactIOKind) .
1545 (family LinuxSyscallContractErrorCode))
1546 kind
1547 (branch
1548 LinuxExactReadKind
1549 .
1550 (eliminate
1551 LinuxSyscallReceiptTelemetry
1552 (lambda unrestricted current : (family LinuxSyscallReceiptTelemetry) .
1553 (family LinuxSyscallContractErrorCode))
1554 telemetry
1555 (branch
1556 LinuxSyscallReceiptTelemetryValue
1557 issued
1558 completed
1559 retries
1560 requestedBytes
1561 completedBytes
1562 eof
1563 cleanup
1564 .
1565 (nat-eliminate
1566 (lambda unrestricted current : Nat . (family LinuxSyscallContractErrorCode))
1567 (constructor LinuxSyscallContractErrorCode LinuxReceiptExactReadShort)
1568 (lambda unrestricted predecessor : Nat .
1569 (lambda unrestricted induction : (family LinuxSyscallContractErrorCode) .
1570 (constructor LinuxSyscallContractErrorCode LinuxReceiptUnexpectedEOF)))
1571 eof))))
1572 (branch
1573 LinuxExactWriteKind
1574 .
1575 (constructor LinuxSyscallContractErrorCode LinuxReceiptExactWriteShort)))))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.