154def jsonRenderEscapedBuilder =
155 (lambda unrestricted input : Bytes .
156 (bytes-eliminate
157 (lambda unrestricted current : Bytes . BytesBuilder)
158 (bytes-builder-empty)
159 (lambda unrestricted head : Byte .
160 (lambda unrestricted tail : Bytes .
161 (lambda unrestricted induction : BytesBuilder .
162 (bytes-builder-append (jsonRenderEscapedByte head) induction))))
163 input))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.