1859def sourceBytesFromTerms =
1860 (lambda unrestricted terms : (family TermList) .
1861 (eliminate
1862 TermList
1863 (lambda unrestricted value : (family TermList) . (family SourceBytesResult))
1864 terms
1865 (branch TermListEnd . (constructor SourceBytesResult SourceBytesDecoded b""))
1866 (branch
1867 TermListNext
1868 listedTerm
1869 listedRest
1870 ih_listedRest
1871 .
1872 (eliminate
1873 SourceByteResult
1874 (lambda unrestricted result : (family SourceByteResult) . (family SourceBytesResult))
1875 (sourceByteFromTerm listedTerm)
1876 (branch
1877 SourceByteDecoded
1878 decodedSourceByte
1879 .
1880 (eliminate
1881 SourceBytesResult
1882 (lambda unrestricted result : (family SourceBytesResult) . (family SourceBytesResult))
1883 ih_listedRest
1884 (branch
1885 SourceBytesDecoded
1886 decodedSourceBytes
1887 .
1888 (constructor
1889 SourceBytesResult
1890 SourceBytesDecoded
1891 (bytes-cons decodedSourceByte decodedSourceBytes)))
1892 (branch SourceBytesInvalid . (constructor SourceBytesResult SourceBytesInvalid))))
1893 (branch SourceByteInvalid . (constructor SourceBytesResult SourceBytesInvalid))))))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.