1802def combineResolvedArithmetic =
1803 (lambda unrestricted operation : (family CoreNaturalOperation) .
1804 (lambda unrestricted functionResult : (family CoreResolutionResult) .
1805 (lambda unrestricted argumentResult : (family CoreResolutionResult) .
1806 (eliminate
1807 CoreResolutionResult
1808 (lambda unrestricted value : (family CoreResolutionResult) .
1809 (family CoreResolutionResult))
1810 functionResult
1811 (branch
1812 CoreResolved
1813 function
1814 .
1815 (eliminate
1816 CoreResolutionResult
1817 (lambda unrestricted value : (family CoreResolutionResult) .
1818 (family CoreResolutionResult))
1819 argumentResult
1820 (branch
1821 CoreResolved
1822 argument
1823 .
1824 (constructor
1825 CoreResolutionResult
1826 CoreResolved
1827 (constructor CoreTerm CoreNaturalArithmetic operation function argument)))
1828 (branch
1829 CoreResolutionFailed
1830 identifier
1831 .
1832 (constructor CoreResolutionResult CoreResolutionFailed identifier))))
1833 (branch
1834 CoreResolutionFailed
1835 identifier
1836 .
1837 (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.