230def nativeSocketAcceptChecked =
231 (lambda unrestricted listener : (family NativePhysicalOperand) .
232 (lambda unrestricted timeout : (family NativePhysicalOperand) .
233 (lambda unrestricted attempts : (family NativePhysicalOperand) .
234 (lambda unrestricted descriptorSlot : Nat .
235 (lambda unrestricted scratchSlot : Nat .
236 (lambda unrestricted tail : (family NativePhysicalCommands) .
237 (nativeLaunchRecipeCommand
238 (nativeSocketAccept
239 listener
240 timeout
241 attempts
242 (nativeLaunchRecipeStore descriptorSlot))
243 b"socket-accept"
244 (nativeSocketRequireDescriptor
245 (nativeLaunchRecipeSlotValue descriptorSlot)
246 scratchSlot
247 b"socket-accept"
248 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.