584def telemetryRecordContextBytes =
585 (lambda unrestricted context : Bytes .
586 (aosChoose
587 Bytes
588 (naturalIsZero (bytes-length context))
589 b"{\"state\":\"not_recorded\",\"reason\":{\"code\":\"native-capture-context-not-acquired\"}}"
590 (bytes-append
591 b"{\"state\":\"present\",\"value\":{\"id\":"
592 (bytes-append (telemetryRecordString context) b"}}"))))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.