3841def finishTermEliminatorBranch =
3842 (lambda unrestricted constructorName : Bytes .
3843 (lambda unrestricted reversedBinders : (family Term) .
3844 (lambda unrestricted remaining : (family TermList) .
3845 (eliminate
3846 TermList
3847 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
3848 remaining
3849 (branch TermListEnd . familyTermDecodeFailed)
3850 (branch
3851 TermListNext
3852 body
3853 afterBody
3854 ih_afterBody
3855 .
3856 (eliminate
3857 TermList
3858 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
3859 afterBody
3860 (branch
3861 TermListEnd
3862 .
3863 (constructor
3864 TermDecodeResult
3865 TermDecoded
3866 (constructor Term TermEliminatorBranch constructorName reversedBinders body)))
3867 (branch TermListNext extra afterExtra ih_afterExtra . familyTermDecodeFailed)))))))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.