3525def decodeDoApplication =
3526 (lambda unrestricted effects : (family Term) .
3527 (lambda unrestricted remaining : (family TermList) .
3528 (eliminate
3529 TermList
3530 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
3531 remaining
3532 (branch TermListEnd . localLetSyntaxFailure)
3533 (branch
3534 TermListNext
3535 result
3536 bodyTerms
3537 ih_bodyTerms
3538 .
3539 (eliminate
3540 DoBodyDecodeResult
3541 (lambda unrestricted decoded : (family DoBodyDecodeResult) . (family TermDecodeResult))
3542 (decodeDoBody bodyTerms)
3543 (branch
3544 DoBodyDecoded
3545 body
3546 .
3547 (constructor
3548 TermDecodeResult
3549 TermDecoded
3550 (constructor Term DoBlock effects result body)))
3551 (branch DoBodyDecodeFailed . localLetSyntaxFailure))))))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.