365def quotedByteFinish =
366 (lambda unrestricted state : (family QuotedByteState) .
367 (lambda unrestricted offset : Nat .
368 (eliminate
369 QuotedByteState
370 (lambda unrestricted current : (family QuotedByteState) . (family QuotedLiteralResult))
371 state
372 (branch
373 QuotedNormal
374 .
375 (constructor
376 QuotedLiteralResult
377 QuotedLiteralFailed
378 (constructor QuotedLiteralFailure QuotedUnterminated)
379 zero
380 offset))
381 (branch
382 QuotedEscape
383 start
384 .
385 (constructor
386 QuotedLiteralResult
387 QuotedLiteralFailed
388 (constructor QuotedLiteralFailure QuotedIncompleteEscape)
389 start
390 offset))
391 (branch
392 QuotedHexHigh
393 start
394 .
395 (constructor
396 QuotedLiteralResult
397 QuotedLiteralFailed
398 (constructor QuotedLiteralFailure QuotedBadHex)
399 start
400 offset))
401 (branch
402 QuotedHexLow
403 start
404 high
405 .
406 (constructor
407 QuotedLiteralResult
408 QuotedLiteralFailed
409 (constructor QuotedLiteralFailure QuotedBadHex)
410 start
411 offset))
412 (branch
413 QuotedFailureTail
414 failure
415 start
416 remaining
417 .
418 (constructor QuotedLiteralResult QuotedLiteralFailed failure start offset))
419 (branch QuotedClosed . (constructor QuotedLiteralResult QuotedLiteralDecoded 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.