2266def decodeApplicationTail =
2267 (lambda unrestricted functionTerm : (family Term) .
2268 (lambda unrestricted remaining : (family TermList) .
2269 (eliminate
2270 TermList
2271 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
2272 remaining
2273 (branch
2274 TermListEnd
2275 .
2276 (constructor
2277 TermDecodeResult
2278 TermDecodeFailed
2279 (succ (succ (succ (succ (succ (succ zero))))))
2280 (constructor SyntaxOrigin SyntaxOriginUnknown)))
2281 (branch
2282 TermListNext
2283 listedTerm
2284 listedRest
2285 ih_listedRest
2286 .
2287 (constructor
2288 TermDecodeResult
2289 TermDecoded
2290 (foldOrdinaryApplicationTail
2291 listedRest
2292 (constructor Term Application functionTerm listedTerm)))))))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.