243def dataBytesTelemetry =
244 (lambda unrestricted inputBytes : Nat .
245 (lambda unrestricted requestedBytes : Nat .
246 (lambda unrestricted outputBytes : Nat .
247 (lambda unrestricted chunks : Nat .
248 (lambda unrestricted sharedBytes : Nat .
249 (lambda unrestricted preparationCopiedBytes : Nat .
250 (lambda unrestricted visitedBytes : Nat .
251 (lambda unrestricted allocationLimit : Nat .
252 (constructor
253 DataBytesTelemetry
254 DataBytesTelemetryValue
255 inputBytes
256 requestedBytes
257 outputBytes
258 chunks
259 sharedBytes
260 preparationCopiedBytes
261 visitedBytes
262 allocationLimit)))))))))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.