80def nativeSocketSystemCall =
81 (lambda unrestricted number : Nat .
82 (lambda unrestricted arguments : (family NativePhysicalArguments) .
83 (lambda unrestricted result : (family NativePhysicalResultBinding) .
84 (constructor
85 NativePhysicalOperation
86 NativePhysicalSystemCall
87 (nativeLaunchRecipeImmediate number)
88 arguments
89 b""
90 result))))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.