Store one explicit runtime word; caller admission owns the destination.
102def nativeMemoryStoreWord64 =
103 (lambda unrestricted error : Bytes .
104 (lambda unrestricted destination : Nat .
105 (lambda unrestricted value : (family NativePhysicalOperand) .
106 (nativeLaunchRecipeCommand
107 (constructor
108 NativePhysicalOperation
109 NativePhysicalStoreWord64
110 (nativeMemoryState destination)
111 value)
112 error))))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.