103def nativeFileWrite =
104 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
105 (lambda unrestricted buffer : (family NativePhysicalOperand) .
106 (lambda unrestricted extent : Nat .
107 (lambda unrestricted offset : (family NativePhysicalOperand) .
108 (lambda unrestricted slot : Nat .
109 (lambda unrestricted error : Bytes .
110 (nativeFileCall
111 18
112 (nativeLaunchRecipeArguments
113 descriptor
114 buffer
115 (nativeLaunchRecipeImmediate extent)
116 offset)
117 slot
118 extent
119 error)))))))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.