519def nativeTelemetryDrainCommands =
520 (lambda unrestricted applicationBytes : Nat .
521 (lambda unrestricted plan : (family TelemetryDrainPlan) .
522 (lambda unrestricted terminal : Nat .
523 (lambda unrestricted sink : (family NativePhysicalOperand) .
524 (lambda unrestricted directory : (family NativePhysicalOperand) .
525 (lambda unrestricted resultSlot : Nat .
526 (lambda unrestricted identity : Bytes .
527 (lambda unrestricted tail : (family NativePhysicalCommands) .
528 (eliminate
529 TelemetryDrainPlan
530 (lambda unrestricted current : (family TelemetryDrainPlan) .
531 (family NativePhysicalCommands))
532 plan
533 (branch
534 TelemetryDrainReady
535 ordinaryCapacity
536 reservedCapacity
537 ordinary
538 reserved
539 descriptors
540 bound
541 .
542 (aosChoose
543 (family NativePhysicalCommands)
544 (telemetryDrainArenaCertificate
545 applicationBytes
546 ordinaryCapacity
547 reservedCapacity
548 ordinary
549 reserved
550 bound)
551 (drainPreparedCommands
552 applicationBytes
553 ordinaryCapacity
554 reservedCapacity
555 ordinary
556 reserved
557 descriptors
558 bound
559 terminal
560 sink
561 directory
562 resultSlot
563 identity
564 tail)
565 (nativeLaunchRecipeCommand
566 (constructor
567 NativePhysicalOperation
568 NativePhysicalMachineRoutine
569 b""
570 (nativeLaunchRecipeArguments
571 (nativeLaunchRecipeImmediate 0)
572 (nativeLaunchRecipeImmediate 0)
573 (nativeLaunchRecipeImmediate 0)
574 (nativeLaunchRecipeImmediate 0))
575 (nativeLaunchRecipeStore resultSlot))
576 identity
577 tail)))
578 (branch
579 TelemetryDrainRefused
580 reason
581 .
582 (nativeLaunchRecipeCommand
583 (constructor
584 NativePhysicalOperation
585 NativePhysicalMachineRoutine
586 b""
587 (nativeLaunchRecipeArguments
588 (nativeLaunchRecipeImmediate 0)
589 (nativeLaunchRecipeImmediate 0)
590 (nativeLaunchRecipeImmediate 0)
591 (nativeLaunchRecipeImmediate 0))
592 (nativeLaunchRecipeStore resultSlot))
593 identity
594 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.