619def peerWithTransport =
620 (lambda unrestricted endpoint : Nat .
621 (lambda unrestricted worker : Nat .
622 (lambda unrestricted initialWeight : Nat .
623 (lambda unrestricted wrongMean : Nat .
624 (lambda unrestricted port : Nat .
625 (lambda unrestricted steps : Nat .
626 (lambda unrestricted epoch : Nat .
627 (lambda unrestricted version : Nat .
628 (lambda unrestricted initial : (family RegionFrameLayout) .
629 (lambda unrestricted contribution : (family RegionFrameLayout) .
630 (lambda unrestricted updated : (family RegionFrameLayout) .
631 (lambda unrestricted acknowledged : (family RegionFrameLayout) .
632 (lambda unrestricted work : Nat .
633 (let unrestricted commands =
634 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
635 (peerCommands
636 descriptor
637 worker
638 initialWeight
639 wrongMean
640 steps
641 epoch
642 version
643 initial
644 contribution
645 updated
646 acknowledged
647 work))
648 in
649 (nat-eliminate
650 (lambda unrestricted choice : Nat . Bytes)
651 (nativePhysicalGenerateNativeELFBytesDirect
652 (peerProgram
653 (naturalAdd peerScratchSlot 1)
654 (peerWorkEnd work)
655 (commands (nativeLaunchRecipeImmediate 0))))
656 (lambda unrestricted previous : Nat .
657 (lambda unrestricted ignored : Bytes .
658 (eliminate
659 StdResult
660 (lambda unrestricted r : (family StdResult (family SocketAddressFailure) Bytes) .
661 Bytes)
662 (linuxIPv4SocketAddress ipv4Loopback port)
663 (branch StdFailure error . b"")
664 (branch
665 StdSuccess
666 address
667 .
668 (nativePhysicalGenerateNativeELFBytesDirect
669 (peerProgram
670 peerEndpointSlots
671 (peerEndpointEnd (peerWorkEnd work))
672 (peerNativeSetup
673 worker
674 address
675 (peerWorkEnd work)
676 (peerImmediateTransmission
677 work
678 (commands (nativeLaunchRecipeSlotValue peerConnectionSlot))))))))))
679 endpoint)))))))))))))))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.