45def nativeMemoryCopyOperands =
46 (lambda unrestricted destination : (family NativePhysicalOperand) .
47 (lambda unrestricted source : (family NativePhysicalOperand) .
48 (lambda unrestricted extent : Nat .
49 (lambda unrestricted slot : Nat .
50 (lambda unrestricted error : Bytes .
51 (lambda unrestricted tail : (family NativePhysicalCommands) .
52 (nativeLaunchRecipeCommand
53 (constructor
54 NativePhysicalOperation
55 NativePhysicalMachineRoutine
56 nativeMemoryCopyCode
57 (nativeLaunchRecipeArguments
58 destination
59 source
60 (nativeLaunchRecipeImmediate extent)
61 (nativeLaunchRecipeImmediate 0))
62 (nativeLaunchRecipeStore slot))
63 error
64 (nativeLaunchRecipeAssertEqual
65 (nativeLaunchRecipeSlotValue slot)
66 (nativeLaunchRecipeImmediate 0)
67 error
68 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.