85def recordCellCommand =
86 (lambda unrestricted routine : Bytes .
87 (lambda unrestricted source : (family NativePhysicalOperand) .
88 (lambda unrestricted destination : Nat .
89 (lambda unrestricted sourceExtent : Nat .
90 (lambda unrestricted destinationExtent : Nat .
91 (lambda unrestricted identity : Bytes .
92 (nativeLaunchRecipeCommand
93 (constructor
94 NativePhysicalOperation
95 NativePhysicalMachineRoutine
96 routine
97 (constructor
98 NativePhysicalArguments
99 NativePhysicalArgumentsValue
100 source
101 (recordState destination)
102 (nativeLaunchRecipeImmediate sourceExtent)
103 (nativeLaunchRecipeImmediate destinationExtent)
104 (nativeLaunchRecipeImmediate 0)
105 (nativeLaunchRecipeImmediate 0))
106 (constructor NativePhysicalResultBinding NativePhysicalDiscardResult))
107 identity)))))))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.