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