1186def nativeTelemetryPolicyBoundaryCommands =
1187 (lambda unrestricted applicationBytes : Nat .
1188 (lambda unrestricted plan : (family TelemetryPolicyPlan) .
1189 (lambda unrestricted terminal : Nat .
1190 (lambda unrestricted sink : (family NativePhysicalOperand) .
1191 (lambda unrestricted directory : (family NativePhysicalOperand) .
1192 (lambda unrestricted captureSlot : Nat .
1193 (lambda unrestricted publicationSlot : Nat .
1194 (lambda unrestricted workSlot : Nat .
1195 (lambda unrestricted identity : Bytes .
1196 (lambda unrestricted tail : (family NativePhysicalCommands) .
1197 (eliminate
1198 TelemetryPolicyPlan
1199 (lambda unrestricted current : (family TelemetryPolicyPlan) .
1200 (family NativePhysicalCommands))
1201 plan
1202 (branch
1203 TelemetryPolicyReady
1204 policy
1205 ordinarySite
1206 reservedSite
1207 drain
1208 .
1209 (eliminate
1210 TelemetryDrainPlan
1211 (lambda unrestricted current : (family TelemetryDrainPlan) .
1212 (family NativePhysicalCommands))
1213 drain
1214 (branch
1215 TelemetryDrainReady
1216 ordinaryCapacity
1217 reservedCapacity
1218 ordinary
1219 reserved
1220 descriptors
1221 bound
1222 .
1223 (aosChoose
1224 (family NativePhysicalCommands)
1225 (naturalAnd
1226 (naturalLessOrEqual terminal 1)
1227 (naturalAnd
1228 (naturalIsZero (naturalEqual captureSlot publicationSlot))
1229 (naturalAnd
1230 (naturalIsZero (naturalEqual captureSlot workSlot))
1231 (naturalAnd
1232 (naturalIsZero (naturalEqual publicationSlot workSlot))
1233 (telemetryPolicyArenaCertificate
1234 applicationBytes
1235 ordinaryCapacity
1236 reservedCapacity
1237 ordinary
1238 reserved
1239 bound)))))
1240 (nativeTelemetryPolicyBoundaryWith
1241 applicationBytes
1242 ordinaryCapacity
1243 reservedCapacity
1244 bound
1245 (capturePolicyFlushOpportunities policy)
1246 (telemetryPolicyDecisionAt
1247 applicationBytes
1248 ordinaryCapacity
1249 reservedCapacity
1250 ordinary
1251 reserved
1252 bound)
1253 terminal
1254 captureSlot
1255 publicationSlot
1256 workSlot
1257 identity
1258 (nativeTelemetryDrainCommands
1259 applicationBytes
1260 drain
1261 terminal
1262 sink
1263 directory
1264 publicationSlot
1265 identity)
1266 tail)
1267 (nativeLaunchRecipeCommand
1268 (constructor
1269 NativePhysicalOperation
1270 NativePhysicalMachineRoutine
1271 b""
1272 (nativeLaunchRecipeArguments
1273 (nativeLaunchRecipeImmediate 0)
1274 (nativeLaunchRecipeImmediate 0)
1275 (nativeLaunchRecipeImmediate 0)
1276 (nativeLaunchRecipeImmediate 0))
1277 (constructor
1278 NativePhysicalResultBinding
1279 NativePhysicalDiscardResult))
1280 identity
1281 tail)))
1282 (branch
1283 TelemetryDrainRefused
1284 reason
1285 .
1286 (nativeLaunchRecipeCommand
1287 (constructor
1288 NativePhysicalOperation
1289 NativePhysicalMachineRoutine
1290 b""
1291 (nativeLaunchRecipeArguments
1292 (nativeLaunchRecipeImmediate 0)
1293 (nativeLaunchRecipeImmediate 0)
1294 (nativeLaunchRecipeImmediate 0)
1295 (nativeLaunchRecipeImmediate 0))
1296 (constructor
1297 NativePhysicalResultBinding
1298 NativePhysicalDiscardResult))
1299 identity
1300 tail))))
1301 (branch
1302 TelemetryPolicyRefused
1303 reason
1304 .
1305 (nativeLaunchRecipeCommand
1306 (constructor
1307 NativePhysicalOperation
1308 NativePhysicalMachineRoutine
1309 b""
1310 (nativeLaunchRecipeArguments
1311 (nativeLaunchRecipeImmediate 0)
1312 (nativeLaunchRecipeImmediate 0)
1313 (nativeLaunchRecipeImmediate 0)
1314 (nativeLaunchRecipeImmediate 0))
1315 (constructor NativePhysicalResultBinding NativePhysicalDiscardResult))
1316 identity
1317 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.