1921def decodeByteLiteral =
1922 (lambda unrestricted argumentTerm : (family Term) .
1923 (lambda unrestricted remaining : (family TermList) .
1924 (eliminate
1925 SourceByteResult
1926 (lambda unrestricted result : (family SourceByteResult) . (family TermDecodeResult))
1927 (sourceByteFromTerm argumentTerm)
1928 (branch
1929 SourceByteDecoded
1930 decodedSourceByte
1931 .
1932 (finishByteLiteral decodedSourceByte remaining))
1933 (branch
1934 SourceByteInvalid
1935 .
1936 (constructor
1937 TermDecodeResult
1938 TermDecodeFailed
1939 (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
1940 (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.