1347def nativeTelemetryRoutedSourceScopeAdmission =
1348 (lambda unrestricted applicationBytes : Nat .
1349 (lambda unrestricted ordinaryCapacity : Nat .
1350 (lambda unrestricted reservedCapacity : Nat .
1351 (lambda unrestricted ordinary : (family TelemetryRecordPlan) .
1352 (lambda unrestricted reserved : (family TelemetryRecordPlan) .
1353 (lambda unrestricted bound : Nat .
1354 (lambda unrestricted resultSlot : Nat .
1355 (lambda unrestricted workSlot : Nat .
1356 (lambda unrestricted operand : (family NativePhysicalOperand) .
1357 (naturalAnd
1358 (nativeTelemetrySourceScopeAdmission
1359 applicationBytes
1360 ordinaryCapacity
1361 reservedCapacity
1362 (telemetryRoutedPolicyDecisionAt
1363 applicationBytes
1364 ordinaryCapacity
1365 reservedCapacity
1366 ordinary
1367 reserved
1368 bound)
1369 resultSlot
1370 workSlot
1371 operand)
1372 (nativeTelemetrySourceOutsideRegion
1373 (telemetryDispatchTagsAt
1374 applicationBytes
1375 ordinaryCapacity
1376 reservedCapacity
1377 ordinary
1378 reserved
1379 bound)
1380 (naturalSaturatingSubtract
1381 (telemetryRoutedPolicyDecisionAt
1382 applicationBytes
1383 ordinaryCapacity
1384 reservedCapacity
1385 ordinary
1386 reserved
1387 bound)
1388 (telemetryDispatchTagsAt
1389 applicationBytes
1390 ordinaryCapacity
1391 reservedCapacity
1392 ordinary
1393 reserved
1394 bound))
1395 operand)))))))))))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.