761def checkpointSizedField =
762 (lambda unrestricted value : Bytes .
763 (eliminate
764 UTF8DecodeResult
765 (lambda unrestricted current : (family UTF8DecodeResult) . (family CheckpointBytesResult))
766 (decodeUTF8 value)
767 (branch
768 UTF8DecodeSucceeded
769 codepoints
770 .
771 (eliminate
772 CheckpointWord64Result
773 (lambda unrestricted current : (family CheckpointWord64Result) .
774 (family CheckpointBytesResult))
775 (checkpointNaturalWord64
776 (constructor CheckpointErrorCode CheckpointCanonicalLengthOverflow)
777 (checkpointUTF8CodepointCount codepoints))
778 (branch
779 CheckpointWord64Succeeded
780 length
781 .
782 (checkpointBytesResultAppend
783 (checkpointBytesSuccess b";s")
784 (checkpointBytesResultAppend
785 (checkpointWord64Decimal length)
786 (checkpointBytesSuccess (bytes-append b":" value)))))
787 (branch
788 CheckpointWord64Failed
789 code
790 .
791 (constructor CheckpointBytesResult CheckpointBytesFailed code))))
792 (branch
793 UTF8DecodeFailed
794 error
795 offset
796 .
797 (constructor
798 CheckpointBytesResult
799 CheckpointBytesFailed
800 (constructor CheckpointErrorCode CheckpointCanonicalUTF8Invalid)))))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.