3798def decodeConstructorApplication =
3799 (lambda unrestricted familyTerm : (family Term) .
3800 (lambda unrestricted remaining : (family TermList) .
3801 (eliminate
3802 TermSpellingResult
3803 (lambda unrestricted result : (family TermSpellingResult) . (family TermDecodeResult))
3804 (termSpelling familyTerm)
3805 (branch
3806 TermSpellingDecoded
3807 familyName
3808 .
3809 (eliminate
3810 TermList
3811 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
3812 remaining
3813 (branch TermListEnd . familyTermDecodeFailed)
3814 (branch
3815 TermListNext
3816 constructorTerm
3817 arguments
3818 ih_arguments
3819 .
3820 (eliminate
3821 TermSpellingResult
3822 (lambda unrestricted result : (family TermSpellingResult) .
3823 (family TermDecodeResult))
3824 (termSpelling constructorTerm)
3825 (branch
3826 TermSpellingDecoded
3827 constructorName
3828 .
3829 (constructor
3830 TermDecodeResult
3831 TermDecoded
3832 (constructor
3833 Term
3834 ConstructorApplication
3835 familyName
3836 constructorName
3837 (termListToTermSequence arguments))))
3838 (branch TermHasNoSpelling . familyTermDecodeFailed)))))
3839 (branch TermHasNoSpelling . 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.