183def nativePeerEdgeListen =
184 (lambda unrestricted at : Nat .
185 (lambda unrestricted index : Nat .
186 (lambda unrestricted tail : (family NativePhysicalCommands) .
187 (nativeSocketOpenIPv4
188 (nativePeerEdgeListenerSlot index)
189 nativePeerScratchSlot
190 (nativeSocketBindListener
191 (nativeLaunchRecipeSlotValue (nativePeerEdgeListenerSlot index))
192 (frameNativeState at)
193 (nativeLaunchRecipeImmediate 1)
194 nativePeerScratchSlot
195 (nativeMemoryStoreWord64
196 b"peer-state"
197 (nativePeerEndpointLengthAt at)
198 (nativeLaunchRecipeImmediate linuxIPv4SocketAddressBytes)
199 (nativeSocketRequireZero
200 (nativeSocketLocalAddress
201 (nativeLaunchRecipeSlotValue (nativePeerEdgeListenerSlot index))
202 (frameNativeState at)
203 (frameNativeState (nativePeerEndpointLengthAt at))
204 (nativeLaunchRecipeStore nativePeerScratchSlot))
205 nativePeerScratchSlot
206 b"peer-local-address"
207 (nativeLaunchRecipeAssertEqual
208 (frameNativeLoad (nativePeerEndpointLengthAt at))
209 (nativeLaunchRecipeImmediate linuxIPv4SocketAddressBytes)
210 b"peer-local-address-extent"
211 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.