1771def nativeTelemetryRoutedPolicyBoundaryCommands =
1772 (lambda unrestricted applicationBytes : Nat .
1773 (lambda unrestricted plan : (family TelemetryRoutedPolicyPlan) .
1774 (lambda unrestricted terminal : Nat .
1775 (lambda unrestricted sink : (family NativePhysicalOperand) .
1776 (lambda unrestricted directory : (family NativePhysicalOperand) .
1777 (lambda unrestricted captureSlot : Nat .
1778 (lambda unrestricted resultSlot : Nat .
1779 (lambda unrestricted workSlot : Nat .
1780 (lambda unrestricted identity : Bytes .
1781 (lambda unrestricted tail : (family NativePhysicalCommands) .
1782 (eliminate
1783 TelemetryRoutedPolicyPlan
1784 (lambda unrestricted current : (family TelemetryRoutedPolicyPlan) .
1785 (family NativePhysicalCommands))
1786 plan
1787 (branch
1788 TelemetryRoutedPolicyReady
1789 policy
1790 sites
1791 drain
1792 .
1793 (eliminate
1794 TelemetryDispatchPlan
1795 (lambda unrestricted current : (family TelemetryDispatchPlan) .
1796 (family NativePhysicalCommands))
1797 drain
1798 (branch
1799 TelemetryDispatchReady
1800 ordinaryCapacity
1801 reservedCapacity
1802 ordinaryRoutes
1803 reservedRoutes
1804 ordinary
1805 reserved
1806 descriptors
1807 bound
1808 .
1809 (aosChoose
1810 (family NativePhysicalCommands)
1811 (naturalAnd
1812 (naturalLessOrEqual terminal 1)
1813 (naturalAnd
1814 (naturalAnd
1815 (naturalIsZero (naturalEqual resultSlot captureSlot))
1816 (naturalAnd
1817 (naturalIsZero (naturalEqual resultSlot workSlot))
1818 (naturalIsZero (naturalEqual captureSlot workSlot))))
1819 (telemetryRoutedPolicyArenaCertificate
1820 applicationBytes
1821 ordinaryCapacity
1822 reservedCapacity
1823 ordinary
1824 reserved
1825 bound)))
1826 (nativeTelemetryPolicyBoundaryWith
1827 applicationBytes
1828 ordinaryCapacity
1829 reservedCapacity
1830 bound
1831 (capturePolicyFlushOpportunities policy)
1832 (telemetryRoutedPolicyDecisionAt
1833 applicationBytes
1834 ordinaryCapacity
1835 reservedCapacity
1836 ordinary
1837 reserved
1838 bound)
1839 terminal
1840 captureSlot
1841 resultSlot
1842 workSlot
1843 identity
1844 (nativeTelemetryDispatchDrainCommands
1845 applicationBytes
1846 drain
1847 terminal
1848 sink
1849 directory
1850 resultSlot
1851 identity)
1852 tail)
1853 (nativeLaunchRecipeCommand
1854 (constructor
1855 NativePhysicalOperation
1856 NativePhysicalMachineRoutine
1857 b""
1858 (constructor
1859 NativePhysicalArguments
1860 NativePhysicalArgumentsValue
1861 (nativeLaunchRecipeImmediate 0)
1862 (nativeLaunchRecipeImmediate 0)
1863 (nativeLaunchRecipeImmediate 0)
1864 (nativeLaunchRecipeImmediate 0)
1865 (nativeLaunchRecipeImmediate 0)
1866 (nativeLaunchRecipeImmediate 0))
1867 (nativeLaunchRecipeStore resultSlot))
1868 identity
1869 tail)))
1870 (branch
1871 TelemetryDispatchRefused
1872 reason
1873 .
1874 (nativeLaunchRecipeCommand
1875 (constructor
1876 NativePhysicalOperation
1877 NativePhysicalMachineRoutine
1878 b""
1879 (constructor
1880 NativePhysicalArguments
1881 NativePhysicalArgumentsValue
1882 (nativeLaunchRecipeImmediate 0)
1883 (nativeLaunchRecipeImmediate 0)
1884 (nativeLaunchRecipeImmediate 0)
1885 (nativeLaunchRecipeImmediate 0)
1886 (nativeLaunchRecipeImmediate 0)
1887 (nativeLaunchRecipeImmediate 0))
1888 (nativeLaunchRecipeStore resultSlot))
1889 identity
1890 tail))))
1891 (branch
1892 TelemetryRoutedPolicyRefused
1893 reason
1894 .
1895 (nativeLaunchRecipeCommand
1896 (constructor
1897 NativePhysicalOperation
1898 NativePhysicalMachineRoutine
1899 b""
1900 (constructor
1901 NativePhysicalArguments
1902 NativePhysicalArgumentsValue
1903 (nativeLaunchRecipeImmediate 0)
1904 (nativeLaunchRecipeImmediate 0)
1905 (nativeLaunchRecipeImmediate 0)
1906 (nativeLaunchRecipeImmediate 0)
1907 (nativeLaunchRecipeImmediate 0)
1908 (nativeLaunchRecipeImmediate 0))
1909 (nativeLaunchRecipeStore resultSlot))
1910 identity
1911 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.