67def nativeCheckedWordAdd =
68 (lambda unrestricted destination : (family NativePhysicalOperand) .
69 (lambda unrestricted left : (family NativePhysicalOperand) .
70 (lambda unrestricted right : (family NativePhysicalOperand) .
71 (lambda unrestricted slot : Nat .
72 (lambda unrestricted error : Bytes .
73 (lambda unrestricted tail : (family NativePhysicalCommands) .
74 (nativeLaunchRecipeCommand
75 (constructor
76 NativePhysicalOperation
77 NativePhysicalMachineRoutine
78 nativeCheckedWordAddCode
79 (nativeLaunchRecipeArguments
80 destination
81 left
82 right
83 (nativeLaunchRecipeImmediate 0))
84 (nativeLaunchRecipeStore slot))
85 error
86 (nativeLaunchRecipeAssertEqual
87 (nativeLaunchRecipeSlotValue slot)
88 (nativeLaunchRecipeImmediate 0)
89 error
90 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.