1895def finishByteLiteral =
1896 (lambda unrestricted decodedSourceByte : Byte .
1897 (lambda unrestricted remaining : (family TermList) .
1898 (eliminate
1899 TermList
1900 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
1901 remaining
1902 (branch
1903 TermListEnd
1904 .
1905 (constructor
1906 TermDecodeResult
1907 TermDecoded
1908 (constructor Term ByteLiteral decodedSourceByte)))
1909 (branch
1910 TermListNext
1911 listedTerm
1912 listedRest
1913 ih_listedRest
1914 .
1915 (constructor
1916 TermDecodeResult
1917 TermDecodeFailed
1918 (succ (succ (succ (succ (succ (succ zero))))))
1919 (constructor SyntaxOrigin SyntaxOriginUnknown))))))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.