712def nativeTelemetrySiteCommands =
713 (lambda unrestricted applicationBytes : Nat .
714 (lambda unrestricted policy : (family CapturePolicy) .
715 (lambda unrestricted site : (family CaptureSite) .
716 (lambda unrestricted ordinaryCapacity : Nat .
717 (lambda unrestricted reservedCapacity : Nat .
718 (lambda unrestricted ordinary : (family TelemetryRecordPlan) .
719 (lambda unrestricted reserved : (family TelemetryRecordPlan) .
720 (lambda unrestricted bound : Nat .
721 (lambda unrestricted recipe : (family TelemetryRecordPlan) .
722 (lambda unrestricted values : (family NativeTelemetrySourceValues) .
723 (lambda unrestricted coordinate : (family NativePhysicalOperand) .
724 (lambda unrestricted resultSlot : Nat .
725 (lambda unrestricted workSlot : Nat .
726 (lambda unrestricted identity : Bytes .
727 (lambda unrestricted tail : (family NativePhysicalCommands) .
728 (nativeTelemetrySiteWith
729 applicationBytes
730 policy
731 site
732 ordinaryCapacity
733 reservedCapacity
734 bound
735 (telemetryPolicyDecisionAt
736 applicationBytes
737 ordinaryCapacity
738 reservedCapacity
739 ordinary
740 reserved
741 bound)
742 recipe
743 values
744 coordinate
745 resultSlot
746 workSlot
747 identity
748 (nativeTelemetryCaptureSelectedCommand
749 applicationBytes
750 ordinaryCapacity
751 reservedCapacity
752 (nativeTelemetryPolicyLoad
753 (telemetryPolicyDecisionAt
754 applicationBytes
755 ordinaryCapacity
756 reservedCapacity
757 ordinary
758 reserved
759 bound))
760 (captureSiteReserved site)
761 resultSlot
762 identity)
763 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.