1176def utf8DecodeTelemetryFor =
1177 (lambda unrestricted input : Bytes .
1178 (lambda unrestricted inspected : Nat .
1179 (lambda unrestricted codepoints : (family UTF8Codepoints) .
1180 (lambda unrestricted failurePresent : Nat .
1181 (lambda unrestricted failureOffset : Nat .
1182 (constructor
1183 UTF8DecodeTelemetry
1184 UTF8DecodeTelemetryValue
1185 (bytes-length input)
1186 inspected
1187 (utf8CodepointsLength codepoints)
1188 (utf8CodepointsWidthCount utf8NaturalOne codepoints)
1189 (utf8CodepointsWidthCount utf8NaturalTwo codepoints)
1190 (utf8CodepointsWidthCount utf8NaturalThree codepoints)
1191 (utf8CodepointsWidthCount (byte-to-nat (byte 4)) codepoints)
1192 (utf8BytesCountWhere utf8ContinuationValid input)
1193 (utf8BytesCountWhere utf8ByteIllegal input)
1194 failurePresent
1195 failureOffset))))))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.