1750def combineResolvedEliminator =
1751 (lambda unrestricted familyName : Bytes .
1752 (lambda unrestricted motiveResult : (family CoreResolutionResult) .
1753 (lambda unrestricted scrutineeResult : (family CoreResolutionResult) .
1754 (lambda unrestricted branchesResult : (family CoreResolutionResult) .
1755 (eliminate
1756 CoreResolutionResult
1757 (lambda unrestricted value : (family CoreResolutionResult) .
1758 (family CoreResolutionResult))
1759 motiveResult
1760 (branch
1761 CoreResolved
1762 motive
1763 .
1764 (eliminate
1765 CoreResolutionResult
1766 (lambda unrestricted value : (family CoreResolutionResult) .
1767 (family CoreResolutionResult))
1768 scrutineeResult
1769 (branch
1770 CoreResolved
1771 scrutinee
1772 .
1773 (eliminate
1774 CoreResolutionResult
1775 (lambda unrestricted value : (family CoreResolutionResult) .
1776 (family CoreResolutionResult))
1777 branchesResult
1778 (branch
1779 CoreResolved
1780 branches
1781 .
1782 (constructor
1783 CoreResolutionResult
1784 CoreResolved
1785 (constructor CoreTerm CoreEliminator familyName motive scrutinee branches)))
1786 (branch
1787 CoreResolutionFailed
1788 identifier
1789 .
1790 (constructor CoreResolutionResult CoreResolutionFailed identifier))))
1791 (branch
1792 CoreResolutionFailed
1793 identifier
1794 .
1795 (constructor CoreResolutionResult CoreResolutionFailed identifier))))
1796 (branch
1797 CoreResolutionFailed
1798 identifier
1799 .
1800 (constructor CoreResolutionResult CoreResolutionFailed identifier)))))))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.