1431def linuxAcceptIdentityMatchedReceipt =
1432 (lambda unrestricted invocation : (family LinuxNativeSyscallInvocation) .
1433 (lambda unrestricted receipt : (family LinuxNativeSyscallReceipt) .
1434 (eliminate
1435 LinuxNativeSyscallInvocation
1436 (lambda unrestricted current : (family LinuxNativeSyscallInvocation) .
1437 (family LinuxSyscallReceiptDecision))
1438 invocation
1439 (branch
1440 LinuxNativeBaseInvocation
1441 identity
1442 request
1443 .
1444 (eliminate
1445 LinuxNativeSyscallReceipt
1446 (lambda unrestricted current : (family LinuxNativeSyscallReceipt) .
1447 (family LinuxSyscallReceiptDecision))
1448 receipt
1449 (branch
1450 LinuxNativeBaseReceipt
1451 actual
1452 response
1453 telemetry
1454 .
1455 (linuxAcceptBaseResponse
1456 invocation
1457 request
1458 response
1459 (linuxReceiptAudit invocation receipt)))
1460 (branch
1461 LinuxNativeExtendedReceipt
1462 actual
1463 response
1464 telemetry
1465 .
1466 (linuxRejectReceipt
1467 (constructor LinuxSyscallContractErrorCode LinuxReceiptResponseKindMismatch)
1468 (linuxReceiptAudit invocation receipt)))))
1469 (branch
1470 LinuxNativeExtendedInvocation
1471 identity
1472 request
1473 .
1474 (eliminate
1475 LinuxNativeSyscallReceipt
1476 (lambda unrestricted current : (family LinuxNativeSyscallReceipt) .
1477 (family LinuxSyscallReceiptDecision))
1478 receipt
1479 (branch
1480 LinuxNativeBaseReceipt
1481 actual
1482 response
1483 telemetry
1484 .
1485 (linuxRejectReceipt
1486 (constructor LinuxSyscallContractErrorCode LinuxReceiptResponseKindMismatch)
1487 (linuxReceiptAudit invocation receipt)))
1488 (branch
1489 LinuxNativeExtendedReceipt
1490 actual
1491 response
1492 telemetry
1493 .
1494 (linuxAcceptExtendedResponse
1495 invocation
1496 request
1497 response
1498 (linuxReceiptAudit invocation receipt))))))))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.