213def nativeSocketConnectChecked =
214 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
215 (lambda unrestricted address : (family NativePhysicalOperand) .
216 (lambda unrestricted timeout : (family NativePhysicalOperand) .
217 (lambda unrestricted attempts : (family NativePhysicalOperand) .
218 (lambda unrestricted scratchSlot : Nat .
219 (nativeSocketRequireZero
220 (nativeSocketConnect
221 descriptor
222 address
223 (nativeLaunchRecipeImmediate linuxIPv4SocketAddressBytes)
224 timeout
225 attempts
226 (nativeLaunchRecipeStore scratchSlot))
227 scratchSlot
228 b"socket-connect"))))))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.