2208def requireNoMoreArguments =
2209 (lambda unrestricted resultTerm : (family Term) .
2210 (lambda unrestricted remaining : (family TermList) .
2211 (eliminate
2212 TermList
2213 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
2214 remaining
2215 (branch TermListEnd . (constructor TermDecodeResult TermDecoded resultTerm))
2216 (branch
2217 TermListNext
2218 listedTerm
2219 listedRest
2220 ih_listedRest
2221 .
2222 (constructor
2223 TermDecodeResult
2224 TermDecodeFailed
2225 (succ (succ (succ (succ (succ (succ zero))))))
2226 (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.