231def publicationSealAndCommitCommandsForBody =
232 (lambda unrestricted applicationBytes : Nat .
233 (lambda unrestricted ordinaryCapacity : Nat .
234 (lambda unrestricted reservedCapacity : Nat .
235 (lambda unrestricted bodyBytes : Nat .
236 (lambda unrestricted sink : (family NativePhysicalOperand) .
237 (lambda unrestricted directory : (family NativePhysicalOperand) .
238 (lambda unrestricted resultSlot : Nat .
239 (lambda unrestricted identity : Bytes .
240 (lambda unrestricted tail : (family NativePhysicalCommands) .
241 (nativeLaunchRecipeCommand
242 (constructor
243 NativePhysicalOperation
244 NativePhysicalRepeatBeginCounted
245 (publicationStateLoad
246 applicationBytes
247 ordinaryCapacity
248 reservedCapacity
249 publicationReadyAt))
250 identity
251 (nativeLaunchRecipeCommand
252 (constructor
253 NativePhysicalOperation
254 NativePhysicalMachineRoutine
255 nativeTelemetrySealRoutine
256 (constructor
257 NativePhysicalArguments
258 NativePhysicalArgumentsValue
259 (publicationStateAddress
260 applicationBytes
261 ordinaryCapacity
262 reservedCapacity
263 publicationBodyAt)
264 (publicationStateLoad
265 applicationBytes
266 ordinaryCapacity
267 reservedCapacity
268 publicationBlockCountAt)
269 (publicationStateAddress
270 applicationBytes
271 ordinaryCapacity
272 reservedCapacity
273 (publicationRecordAtForBody bodyBytes))
274 (publicationStateLoad
275 applicationBytes
276 ordinaryCapacity
277 reservedCapacity
278 publicationBodyLengthAt)
279 (publicationStateAddress
280 applicationBytes
281 ordinaryCapacity
282 reservedCapacity
283 (publicationZeroClockAtForBody bodyBytes))
284 (publicationStateAddress
285 applicationBytes
286 ordinaryCapacity
287 reservedCapacity
288 (publicationSealWorkAtForBody bodyBytes)))
289 (constructor NativePhysicalResultBinding NativePhysicalDiscardResult))
290 identity
291 (nativeLaunchRecipeCommand
292 (constructor
293 NativePhysicalOperation
294 NativePhysicalMachineRoutine
295 nativeTelemetryPublicationCommitRoutine
296 (constructor
297 NativePhysicalArguments
298 NativePhysicalArgumentsValue
299 (constructor
300 NativePhysicalOperand
301 NativePhysicalStateAddress
302 (modelWord64FromNaturalTruncated
303 (captureControlAt applicationBytes)))
304 (publicationStateAddress
305 applicationBytes
306 ordinaryCapacity
307 reservedCapacity
308 0)
309 sink
310 (publicationStateAddress
311 applicationBytes
312 ordinaryCapacity
313 reservedCapacity
314 (publicationRecordAtForBody bodyBytes))
315 (publicationStateLoad
316 applicationBytes
317 ordinaryCapacity
318 reservedCapacity
319 publicationRecordLengthAt)
320 directory)
321 (nativeLaunchRecipeStore resultSlot))
322 identity
323 (nativeLaunchRecipeCommand
324 (constructor NativePhysicalOperation NativePhysicalRepeatEnd)
325 identity
326 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.