139def nativeFileClose =
140 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
141 (lambda unrestricted slot : Nat .
142 (lambda unrestricted error : Bytes .
143 (nativeFileCall
144 3
145 (nativeLaunchRecipeArguments
146 descriptor
147 (nativeLaunchRecipeImmediate 0)
148 (nativeLaunchRecipeImmediate 0)
149 (nativeLaunchRecipeImmediate 0))
150 slot
151 0
152 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.