3270def decodeDoReturnArguments =
3271 (lambda unrestricted arguments : (family TermList) .
3272 (eliminate
3273 TermList
3274 (lambda unrestricted value : (family TermList) . (family DoBodyDecodeResult))
3275 arguments
3276 (branch TermListEnd . (constructor DoBodyDecodeResult DoBodyDecodeFailed))
3277 (branch
3278 TermListNext
3279 finalValue
3280 rest
3281 ih_rest
3282 .
3283 (eliminate
3284 TermList
3285 (lambda unrestricted value : (family TermList) . (family DoBodyDecodeResult))
3286 rest
3287 (branch
3288 TermListEnd
3289 .
3290 (constructor DoBodyDecodeResult DoBodyDecoded (constructor Term DoReturn finalValue)))
3291 (branch
3292 TermListNext
3293 extra
3294 tail
3295 ih_tail
3296 .
3297 (constructor DoBodyDecodeResult DoBodyDecodeFailed))))))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.