1078def nativePhysicalImageTelemetryFor =
1079 (lambda unrestricted counts : (family NativePhysicalCounts) .
1080 (lambda unrestricted payloadBytes : Nat .
1081 (lambda unrestricted auxiliaryBytes : Nat .
1082 (lambda unrestricted errorBytes : Nat .
1083 (lambda unrestricted bodyBytes : Nat .
1084 (lambda unrestricted outputBytes : Nat .
1085 (lambda unrestricted fallbacks : Nat .
1086 (lambda unrestricted identity : Bytes .
1087 (lambda unrestricted digest : Bytes .
1088 (constructor
1089 NativePhysicalImageTelemetry
1090 NativePhysicalImageTelemetryValue
1091 counts
1092 payloadBytes
1093 auxiliaryBytes
1094 errorBytes
1095 bodyBytes
1096 outputBytes
1097 zero
1098 fallbacks
1099 identity
1100 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.