212def publicationCopyPayload =
213 (lambda unrestricted applicationBytes : Nat .
214 (lambda unrestricted ordinaryCapacity : Nat .
215 (lambda unrestricted reservedCapacity : Nat .
216 (lambda unrestricted relative : Nat .
217 (lambda unrestricted payload : Bytes .
218 (lambda unrestricted identity : Bytes .
219 (nativeLaunchRecipeCommand
220 (constructor
221 NativePhysicalOperation
222 NativePhysicalCopyPayloadToState
223 (modelWord64FromNaturalTruncated
224 (naturalAdd
225 (publicationBase applicationBytes ordinaryCapacity reservedCapacity)
226 relative))
227 (modelWord64FromNaturalTruncated (bytes-length payload))
228 payload)
229 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.