1649def nativeTelemetryRoutedPolicyInitializeWithIdentity =
1650 (lambda unrestricted initialize : (pi unrestricted applicationBytes : Nat . (pi unrestricted ordinary : Nat . (pi unrestricted reserved : Nat . (pi unrestricted result : Nat . (pi unrestricted identity : Bytes . (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands))))))) .
1651 (lambda unrestricted applicationBytes : Nat .
1652 (lambda unrestricted plan : (family TelemetryRoutedPolicyPlan) .
1653 (lambda unrestricted resultSlot : Nat .
1654 (lambda unrestricted identity : Bytes .
1655 (lambda unrestricted tail : (family NativePhysicalCommands) .
1656 (eliminate
1657 TelemetryRoutedPolicyPlan
1658 (lambda unrestricted current : (family TelemetryRoutedPolicyPlan) .
1659 (family NativePhysicalCommands))
1660 plan
1661 (branch
1662 TelemetryRoutedPolicyReady
1663 policy
1664 sites
1665 drain
1666 .
1667 (eliminate
1668 TelemetryDispatchPlan
1669 (lambda unrestricted current : (family TelemetryDispatchPlan) .
1670 (family NativePhysicalCommands))
1671 drain
1672 (branch
1673 TelemetryDispatchReady
1674 ordinaryCapacity
1675 reservedCapacity
1676 ordinaryRoutes
1677 reservedRoutes
1678 ordinary
1679 reserved
1680 descriptors
1681 bound
1682 .
1683 (aosChoose
1684 (family NativePhysicalCommands)
1685 (telemetryRoutedPolicyArenaCertificate
1686 applicationBytes
1687 ordinaryCapacity
1688 reservedCapacity
1689 ordinary
1690 reserved
1691 bound)
1692 (nativeTelemetryPolicyInitializeWithIdentity
1693 initialize
1694 applicationBytes
1695 ordinaryCapacity
1696 reservedCapacity
1697 (capturePolicyRequired policy)
1698 (telemetryRoutedPolicyDecisionAt
1699 applicationBytes
1700 ordinaryCapacity
1701 reservedCapacity
1702 ordinary
1703 reserved
1704 bound)
1705 resultSlot
1706 identity
1707 tail)
1708 (nativeLaunchRecipeCommand
1709 (constructor
1710 NativePhysicalOperation
1711 NativePhysicalMachineRoutine
1712 b""
1713 (constructor
1714 NativePhysicalArguments
1715 NativePhysicalArgumentsValue
1716 (nativeLaunchRecipeImmediate 0)
1717 (nativeLaunchRecipeImmediate 0)
1718 (nativeLaunchRecipeImmediate 0)
1719 (nativeLaunchRecipeImmediate 0)
1720 (nativeLaunchRecipeImmediate 0)
1721 (nativeLaunchRecipeImmediate 0))
1722 (nativeLaunchRecipeStore resultSlot))
1723 identity
1724 tail)))
1725 (branch
1726 TelemetryDispatchRefused
1727 reason
1728 .
1729 (nativeLaunchRecipeCommand
1730 (constructor
1731 NativePhysicalOperation
1732 NativePhysicalMachineRoutine
1733 b""
1734 (constructor
1735 NativePhysicalArguments
1736 NativePhysicalArgumentsValue
1737 (nativeLaunchRecipeImmediate 0)
1738 (nativeLaunchRecipeImmediate 0)
1739 (nativeLaunchRecipeImmediate 0)
1740 (nativeLaunchRecipeImmediate 0)
1741 (nativeLaunchRecipeImmediate 0)
1742 (nativeLaunchRecipeImmediate 0))
1743 (nativeLaunchRecipeStore resultSlot))
1744 identity
1745 tail))))
1746 (branch
1747 TelemetryRoutedPolicyRefused
1748 reason
1749 .
1750 (nativeLaunchRecipeCommand
1751 (constructor
1752 NativePhysicalOperation
1753 NativePhysicalMachineRoutine
1754 b""
1755 (constructor
1756 NativePhysicalArguments
1757 NativePhysicalArgumentsValue
1758 (nativeLaunchRecipeImmediate 0)
1759 (nativeLaunchRecipeImmediate 0)
1760 (nativeLaunchRecipeImmediate 0)
1761 (nativeLaunchRecipeImmediate 0)
1762 (nativeLaunchRecipeImmediate 0)
1763 (nativeLaunchRecipeImmediate 0))
1764 (nativeLaunchRecipeStore resultSlot))
1765 identity
1766 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.