This deployment exchanges small synchronous messages. Select per-socket
immediate transmission after endpoint establishment, before any frame. The
work word is dead here and is overwritten by run preflight and arithmetic.
604def peerImmediateTransmission =
605 (lambda unrestricted work : Nat .
606 (lambda unrestricted tail : (family NativePhysicalCommands) .
607 (peerStore
608 work
609 (nativeLaunchRecipeImmediate 1)
610 (nativeSocketRequireZero
611 (nativeSocketNoDelay
612 (nativeLaunchRecipeSlotValue peerConnectionSlot)
613 (frameNativeState work)
614 (nativeLaunchRecipeStore peerScratchSlot))
615 peerScratchSlot
616 b"socket-tcp-nodelay"
617 tail))))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.