213def nativePeerEdgeEstablish =
214 (lambda unrestricted role : Nat .
215 (lambda unrestricted base : Nat .
216 (lambda unrestricted index : Nat .
217 (lambda unrestricted edge : (family NativePeerEdge) .
218 (lambda unrestricted tail : (family NativePhysicalCommands) .
219 (nativePeerEdgeWhenListening
220 role
221 edge
222 (nativeSocketAcceptChecked
223 (nativeLaunchRecipeSlotValue (nativePeerEdgeListenerSlot index))
224 (nativeLaunchRecipeImmediate 30000)
225 (nativeLaunchRecipeImmediate 64)
226 (nativePeerEdgeConnectionSlot index)
227 nativePeerScratchSlot
228 (nativeSocketCloseChecked
229 (nativeLaunchRecipeSlotValue (nativePeerEdgeListenerSlot index))
230 nativePeerScratchSlot
231 tail))
232 (nativeSocketOpenIPv4
233 (nativePeerEdgeConnectionSlot index)
234 nativePeerScratchSlot
235 (nativeSocketConnectChecked
236 (nativeLaunchRecipeSlotValue (nativePeerEdgeConnectionSlot index))
237 (frameNativeState (nativePeerEdgeAddressAt base index))
238 (nativeLaunchRecipeImmediate 5000)
239 (nativeLaunchRecipeImmediate 64)
240 nativePeerScratchSlot
241 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.