1175def linuxRejectReceipt =
1176 (lambda unrestricted error : (family LinuxSyscallContractErrorCode) .
1177 (lambda unrestricted audit : (family LinuxSyscallReceiptAudit) .
1178 (constructor LinuxSyscallReceiptDecision LinuxSyscallReceiptRejected error audit)))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.