447def nativeTelemetryPublicationCommandsForBody =
448 (lambda unrestricted applicationBytes : Nat .
449 (lambda unrestricted ordinaryCapacity : Nat .
450 (lambda unrestricted reservedCapacity : Nat .
451 (lambda unrestricted bodyBytes : Nat .
452 (lambda unrestricted terminal : Nat .
453 (lambda unrestricted sink : (family NativePhysicalOperand) .
454 (lambda unrestricted directory : (family NativePhysicalOperand) .
455 (lambda unrestricted resultSlot : Nat .
456 (lambda unrestricted identity : Bytes .
457 (lambda unrestricted tail : (family NativePhysicalCommands) .
458 (nativeTelemetryPublicationPrepareCommandsForBody
459 applicationBytes
460 ordinaryCapacity
461 reservedCapacity
462 bodyBytes
463 terminal
464 resultSlot
465 identity
466 (publicationSealAndCommitCommandsForBody
467 applicationBytes
468 ordinaryCapacity
469 reservedCapacity
470 bodyBytes
471 sink
472 directory
473 resultSlot
474 identity
475 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.