59def nativeDescriptorRequire =
60 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
61 (lambda unrestricted slot : Nat .
62 (lambda unrestricted error : Bytes .
63 (lambda unrestricted tail : (family NativePhysicalCommands) .
64 (nativeLaunchRecipeCommand
65 (constructor
66 NativePhysicalOperation
67 NativePhysicalMachineRoutine
68 nativeDescriptorStatusCode
69 (nativeLaunchRecipeArguments
70 descriptor
71 (nativeLaunchRecipeImmediate 0)
72 (nativeLaunchRecipeImmediate 0)
73 (nativeLaunchRecipeImmediate 0))
74 (nativeLaunchRecipeStore slot))
75 error
76 (nativeLaunchRecipeAssertEqual
77 (nativeLaunchRecipeSlotValue slot)
78 (nativeLaunchRecipeImmediate 0)
79 error
80 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.