822def nativeTelemetryDispatchDrainCommands =
823 (lambda unrestricted applicationBytes : Nat .
824 (lambda unrestricted plan : (family TelemetryDispatchPlan) .
825 (lambda unrestricted terminal : Nat .
826 (lambda unrestricted sink : (family NativePhysicalOperand) .
827 (lambda unrestricted directory : (family NativePhysicalOperand) .
828 (lambda unrestricted resultSlot : Nat .
829 (lambda unrestricted identity : Bytes .
830 (lambda unrestricted tail : (family NativePhysicalCommands) .
831 (eliminate
832 TelemetryDispatchPlan
833 (lambda unrestricted current : (family TelemetryDispatchPlan) .
834 (family NativePhysicalCommands))
835 plan
836 (branch
837 TelemetryDispatchReady
838 ordinaryCapacity
839 reservedCapacity
840 ordinaryRoutes
841 reservedRoutes
842 ordinary
843 reserved
844 descriptors
845 bound
846 .
847 (aosChoose
848 (family NativePhysicalCommands)
849 (telemetryDispatchArenaCertificate
850 applicationBytes
851 ordinaryCapacity
852 reservedCapacity
853 ordinary
854 reserved
855 bound)
856 (drainPreparedWith
857 applicationBytes
858 ordinaryCapacity
859 reservedCapacity
860 (drainDispatchQueueCommands
861 applicationBytes
862 ordinaryCapacity
863 reservedCapacity
864 ordinary
865 reserved
866 bound
867 ordinaryRoutes
868 (captureQueueAt applicationBytes)
869 captureOrdinaryUsedAt
870 resultSlot
871 identity)
872 (drainDispatchQueueCommands
873 applicationBytes
874 ordinaryCapacity
875 reservedCapacity
876 ordinary
877 reserved
878 bound
879 reservedRoutes
880 (naturalAdd
881 (captureQueueAt applicationBytes)
882 (naturalMultiply ordinaryCapacity captureRecordBytes))
883 captureReservedUsedAt
884 resultSlot
885 identity)
886 descriptors
887 bound
888 terminal
889 sink
890 directory
891 resultSlot
892 identity
893 tail)
894 (nativeLaunchRecipeCommand
895 (constructor
896 NativePhysicalOperation
897 NativePhysicalMachineRoutine
898 b""
899 (constructor
900 NativePhysicalArguments
901 NativePhysicalArgumentsValue
902 (nativeLaunchRecipeImmediate 0)
903 (nativeLaunchRecipeImmediate 0)
904 (nativeLaunchRecipeImmediate 0)
905 (nativeLaunchRecipeImmediate 0)
906 (nativeLaunchRecipeImmediate 0)
907 (nativeLaunchRecipeImmediate 0))
908 (nativeLaunchRecipeStore resultSlot))
909 identity
910 tail)))
911 (branch
912 TelemetryDispatchRefused
913 reason
914 .
915 (nativeLaunchRecipeCommand
916 (constructor
917 NativePhysicalOperation
918 NativePhysicalMachineRoutine
919 b""
920 (constructor
921 NativePhysicalArguments
922 NativePhysicalArgumentsValue
923 (nativeLaunchRecipeImmediate 0)
924 (nativeLaunchRecipeImmediate 0)
925 (nativeLaunchRecipeImmediate 0)
926 (nativeLaunchRecipeImmediate 0)
927 (nativeLaunchRecipeImmediate 0)
928 (nativeLaunchRecipeImmediate 0))
929 (nativeLaunchRecipeStore resultSlot))
930 identity
931 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.