This helper is used only after decodeUTF8 validates the full Text spelling.
549def quotedValidatedScalarEnd =
550 (lambda unrestricted head : Byte .
551 (lambda unrestricted offset : Nat .
552 (Std.Natural/naturalAdd
553 offset
554 (Std.Natural/naturalSelect
555 (Data.UTF8/utf8LeadFourValid head)
556 (byte-to-nat (byte 4))
557 (Std.Natural/naturalSelect
558 (Data.UTF8/utf8LeadThreeValid head)
559 (byte-to-nat (byte 3))
560 (Std.Natural/naturalSelect
561 (Data.UTF8/utf8LeadTwoValid head)
562 (byte-to-nat (byte 2))
563 (succ zero)))))))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.