1224def dataBytesWord64ExactFailure =
1225 (lambda unrestricted inputLength : Nat .
1226 (constructor
1227 DataBytesWord64ExactDecodeResult
1228 DataBytesWord64ExactDecodeFailed
1229 (constructor DataBytesErrorCode DataBytesWord64MalformedLength)
1230 (dataBytesTelemetry
1231 inputLength
1232 dataBytesNaturalEight
1233 zero
1234 zero
1235 zero
1236 zero
1237 inputLength
1238 dataBytesNaturalEight)))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.