3475def prependDoStep =
3476 (lambda unrestricted step : (family Term) .
3477 (lambda unrestricted tailResult : (family DoBodyDecodeResult) .
3478 (eliminate
3479 DoBodyDecodeResult
3480 (lambda unrestricted result : (family DoBodyDecodeResult) . (family DoBodyDecodeResult))
3481 tailResult
3482 (branch
3483 DoBodyDecoded
3484 continuation
3485 .
3486 (eliminate
3487 DoStepDecodeResult
3488 (lambda unrestricted decoded : (family DoStepDecodeResult) .
3489 (family DoBodyDecodeResult))
3490 (decodeDoStep step)
3491 (branch
3492 DoStepDecoded
3493 named
3494 quantity
3495 binder
3496 computation
3497 .
3498 (constructor
3499 DoBodyDecodeResult
3500 DoBodyDecoded
3501 (constructor Term DoStep named quantity binder computation continuation)))
3502 (branch DoStepDecodeFailed . (constructor DoBodyDecodeResult DoBodyDecodeFailed))))
3503 (branch DoBodyDecodeFailed . (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.