338def nativeTelemetryPublicationPrepareCommandsForBody =
339 (lambda unrestricted applicationBytes : Nat .
340 (lambda unrestricted ordinaryCapacity : Nat .
341 (lambda unrestricted reservedCapacity : Nat .
342 (lambda unrestricted bodyBytes : Nat .
343 (lambda unrestricted terminal : Nat .
344 (lambda unrestricted resultSlot : Nat .
345 (lambda unrestricted identity : Bytes .
346 (lambda unrestricted tail : (family NativePhysicalCommands) .
347 (publicationCopyPayload
348 applicationBytes
349 ordinaryCapacity
350 reservedCapacity
351 publicationBodyAt
352 publicationBodyPrefix
353 identity
354 (publicationCopyPayload
355 applicationBytes
356 ordinaryCapacity
357 reservedCapacity
358 (publicationRecordAtForBody bodyBytes)
359 nativeTelemetryMagic
360 identity
361 (publicationCopyPayload
362 applicationBytes
363 ordinaryCapacity
364 reservedCapacity
365 (publicationZeroClockAtForBody bodyBytes)
366 (dataBytesRepeatByte (byte 0) publicationZeroClockBytes)
367 identity
368 (nativeLaunchRecipeCommand
369 (constructor
370 NativePhysicalOperation
371 NativePhysicalStoreWord64
372 (publicationStateAddress
373 applicationBytes
374 ordinaryCapacity
375 reservedCapacity
376 publicationReadyAt)
377 (nativeLaunchRecipeImmediate 0))
378 identity
379 (nativeLaunchRecipeCommand
380 (constructor
381 NativePhysicalOperation
382 NativePhysicalStoreWord64
383 (publicationStateAddress
384 applicationBytes
385 ordinaryCapacity
386 reservedCapacity
387 publicationTerminalRequestAt)
388 (nativeLaunchRecipeImmediate terminal))
389 identity
390 (nativeLaunchRecipeCommand
391 (constructor
392 NativePhysicalOperation
393 NativePhysicalMachineRoutine
394 (aosChoose
395 Bytes
396 (naturalAnd
397 (naturalAnd
398 (publicationStorageCertificateForBody
399 applicationBytes
400 ordinaryCapacity
401 reservedCapacity
402 bodyBytes)
403 (naturalEqual
404 captureControlBytes
405 (bytes-length
406 (nativeTelemetryEncodeCounters publicationEmptyCounters))))
407 (naturalLessOrEqual terminal 1))
408 (nativeTelemetryPublicationPrepareRoutineForBody
409 ordinaryCapacity
410 reservedCapacity
411 bodyBytes)
412 b"")
413 (constructor
414 NativePhysicalArguments
415 NativePhysicalArgumentsValue
416 (constructor
417 NativePhysicalOperand
418 NativePhysicalStateAddress
419 (modelWord64FromNaturalTruncated
420 (captureControlAt applicationBytes)))
421 (constructor
422 NativePhysicalOperand
423 NativePhysicalStateAddress
424 (modelWord64FromNaturalTruncated
425 (captureQueueAt applicationBytes)))
426 (constructor
427 NativePhysicalOperand
428 NativePhysicalStateAddress
429 (modelWord64FromNaturalTruncated
430 (captureIdentityAt
431 applicationBytes
432 ordinaryCapacity
433 reservedCapacity)))
434 (publicationStateAddress
435 applicationBytes
436 ordinaryCapacity
437 reservedCapacity
438 0)
439 (nativeLaunchRecipeImmediate
440 (captureQueueBytes ordinaryCapacity reservedCapacity))
441 (nativeLaunchRecipeImmediate
442 (publicationArenaBytesForBody bodyBytes)))
443 (nativeLaunchRecipeStore resultSlot))
444 identity
445 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.