85def nativeFileRead =
86 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
87 (lambda unrestricted buffer : (family NativePhysicalOperand) .
88 (lambda unrestricted extent : Nat .
89 (lambda unrestricted offset : (family NativePhysicalOperand) .
90 (lambda unrestricted slot : Nat .
91 (lambda unrestricted error : Bytes .
92 (nativeFileCall
93 17
94 (nativeLaunchRecipeArguments
95 descriptor
96 buffer
97 (nativeLaunchRecipeImmediate extent)
98 offset)
99 slot
100 extent
101 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.