1004def nativeTelemetryPolicyInitialize =
1005 (lambda unrestricted applicationBytes : Nat .
1006 (lambda unrestricted plan : (family TelemetryPolicyPlan) .
1007 (lambda unrestricted resultSlot : Nat .
1008 (lambda unrestricted identity : Bytes .
1009 (lambda unrestricted tail : (family NativePhysicalCommands) .
1010 (eliminate
1011 TelemetryPolicyPlan
1012 (lambda unrestricted current : (family TelemetryPolicyPlan) .
1013 (family NativePhysicalCommands))
1014 plan
1015 (branch
1016 TelemetryPolicyReady
1017 policy
1018 ordinarySite
1019 reservedSite
1020 drain
1021 .
1022 (eliminate
1023 TelemetryDrainPlan
1024 (lambda unrestricted current : (family TelemetryDrainPlan) .
1025 (family NativePhysicalCommands))
1026 drain
1027 (branch
1028 TelemetryDrainReady
1029 ordinaryCapacity
1030 reservedCapacity
1031 ordinary
1032 reserved
1033 descriptors
1034 bound
1035 .
1036 (aosChoose
1037 (family NativePhysicalCommands)
1038 (telemetryPolicyArenaCertificate
1039 applicationBytes
1040 ordinaryCapacity
1041 reservedCapacity
1042 ordinary
1043 reserved
1044 bound)
1045 (nativeTelemetryPolicyInitializeWith
1046 applicationBytes
1047 ordinaryCapacity
1048 reservedCapacity
1049 (capturePolicyRequired policy)
1050 (telemetryPolicyDecisionAt
1051 applicationBytes
1052 ordinaryCapacity
1053 reservedCapacity
1054 ordinary
1055 reserved
1056 bound)
1057 resultSlot
1058 identity
1059 tail)
1060 (nativeLaunchRecipeCommand
1061 (constructor
1062 NativePhysicalOperation
1063 NativePhysicalMachineRoutine
1064 b""
1065 (nativeLaunchRecipeArguments
1066 (nativeLaunchRecipeImmediate 0)
1067 (nativeLaunchRecipeImmediate 0)
1068 (nativeLaunchRecipeImmediate 0)
1069 (nativeLaunchRecipeImmediate 0))
1070 (constructor NativePhysicalResultBinding NativePhysicalDiscardResult))
1071 identity
1072 tail)))
1073 (branch
1074 TelemetryDrainRefused
1075 reason
1076 .
1077 (nativeLaunchRecipeCommand
1078 (constructor
1079 NativePhysicalOperation
1080 NativePhysicalMachineRoutine
1081 b""
1082 (nativeLaunchRecipeArguments
1083 (nativeLaunchRecipeImmediate 0)
1084 (nativeLaunchRecipeImmediate 0)
1085 (nativeLaunchRecipeImmediate 0)
1086 (nativeLaunchRecipeImmediate 0))
1087 (constructor NativePhysicalResultBinding NativePhysicalDiscardResult))
1088 identity
1089 tail))))
1090 (branch
1091 TelemetryPolicyRefused
1092 reason
1093 .
1094 (nativeLaunchRecipeCommand
1095 (constructor
1096 NativePhysicalOperation
1097 NativePhysicalMachineRoutine
1098 b""
1099 (nativeLaunchRecipeArguments
1100 (nativeLaunchRecipeImmediate 0)
1101 (nativeLaunchRecipeImmediate 0)
1102 (nativeLaunchRecipeImmediate 0)
1103 (nativeLaunchRecipeImmediate 0))
1104 (constructor NativePhysicalResultBinding NativePhysicalDiscardResult))
1105 identity
1106 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.