4948def finishDecodedTerms =
4949 (lambda unrestricted terms : (family TermList) .
4950 (eliminate
4951 TermList
4952 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
4953 terms
4954 (branch
4955 TermListEnd
4956 .
4957 (constructor
4958 TermDecodeResult
4959 TermDecodeFailed
4960 (succ (succ (succ (succ (succ zero)))))
4961 (constructor SyntaxOrigin SyntaxOriginUnknown)))
4962 (branch
4963 TermListNext
4964 listedTerm
4965 listedRest
4966 ih_listedRest
4967 .
4968 (eliminate
4969 TermList
4970 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
4971 listedRest
4972 (branch TermListEnd . (decodeNullaryTerm listedTerm))
4973 (branch
4974 TermListNext
4975 nextTerm
4976 remainingTerms
4977 ih_remainingTerms
4978 .
4979 (decodeHeadWithArgument listedTerm nextTerm remainingTerms))))))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.