2594def parseJSONWithLimits =
2595 (lambda unrestricted limits : (family JSONLimits) .
2596 (lambda unrestricted input : Bytes .
2597 (eliminate
2598 JSONObservedDocumentResult
2599 (lambda unrestricted current : (family JSONObservedDocumentResult) .
2600 (family JSONDocumentResult))
2601 (parseJSONObservedWithLimits limits input)
2602 (branch
2603 JSONObservedDocumentParsed
2604 value
2605 telemetry
2606 .
2607 (constructor JSONDocumentResult JSONDocumentParsed value))
2608 (branch
2609 JSONObservedDocumentFailed
2610 code
2611 offset
2612 telemetry
2613 .
2614 (constructor JSONDocumentResult JSONDocumentFailed code offset)))))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.