197def nativeSocketBindListener =
198 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
199 (lambda unrestricted address : (family NativePhysicalOperand) .
200 (lambda unrestricted backlog : (family NativePhysicalOperand) .
201 (lambda unrestricted scratchSlot : Nat .
202 (lambda unrestricted tail : (family NativePhysicalCommands) .
203 (nativeSocketRequireZero
204 (nativeSocketBindIPv4 descriptor address (nativeLaunchRecipeStore scratchSlot))
205 scratchSlot
206 b"socket-bind"
207 (nativeSocketRequireZero
208 (nativeSocketListen descriptor backlog (nativeLaunchRecipeStore scratchSlot))
209 scratchSlot
210 b"socket-listen"
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.