1461def nativePhysicalImageTelemetryFor =
1462 (lambda unrestricted counts : (family NativePhysicalCounts) .
1463 (lambda unrestricted payloadBytes : Nat .
1464 (lambda unrestricted auxiliaryBytes : Nat .
1465 (lambda unrestricted errorBytes : Nat .
1466 (lambda unrestricted bodyBytes : Nat .
1467 (lambda unrestricted outputBytes : Nat .
1468 (lambda unrestricted fallbacks : Nat .
1469 (lambda unrestricted identity : Bytes .
1470 (lambda unrestricted digest : Bytes .
1471 (constructor
1472 NativePhysicalImageTelemetry
1473 NativePhysicalImageTelemetryValue
1474 counts
1475 payloadBytes
1476 auxiliaryBytes
1477 errorBytes
1478 bodyBytes
1479 outputBytes
1480 zero
1481 fallbacks
1482 identity
1483 digest))))))))))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.