40def nativeFileOpen =
41 (lambda unrestricted path : (family NativePhysicalOperand) .
42 (lambda unrestricted flags : Nat .
43 (lambda unrestricted descriptorSlot : Nat .
44 (lambda unrestricted scratch : Nat .
45 (lambda unrestricted error : Bytes .
46 (lambda unrestricted tail : (family NativePhysicalCommands) .
47 (nativeLaunchRecipeCommand
48 (constructor
49 NativePhysicalOperation
50 NativePhysicalSystemCall
51 (nativeLaunchRecipeImmediate 257)
52 (nativeLaunchRecipeArguments
53 (nativeLaunchRecipeImmediate 18446744073709551516)
54 path
55 (nativeLaunchRecipeImmediate flags)
56 (nativeLaunchRecipeImmediate 384))
57 b""
58 (nativeLaunchRecipeStore descriptorSlot))
59 error
60 (nativeDescriptorRequire
61 (nativeLaunchRecipeSlotValue descriptorSlot)
62 scratch
63 error
64 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.