2454def jsonEmptyParseTelemetry =
2455 (lambda unrestricted inputBytes : Nat .
2456 (lambda unrestricted consumedBytes : Nat .
2457 (constructor
2458 JSONParseTelemetry
2459 JSONParseTelemetryValue
2460 inputBytes
2461 consumedBytes
2462 (naturalSaturatingSubtract inputBytes consumedBytes)
2463 inputBytes
2464 zero
2465 jsonCountsZero)))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.