11740def extendCoreInferenceFunctionInspection =
11741 (lambda unrestricted inspection : (family CoreFunctionInspection) .
11742 (lambda unrestricted argument : (family CoreTerm) .
11743 (eliminate
11744 CoreFunctionInspection
11745 (lambda unrestricted value : (family CoreFunctionInspection) .
11746 (family CoreFunctionInspection))
11747 inspection
11748 (branch CoreFunctionLambda body . (constructor CoreFunctionInspection CoreFunctionOther))
11749 (branch
11750 CoreFunctionPrimitive
11751 primitive
11752 .
11753 (constructor CoreFunctionInspection CoreFunctionAppliedPrimitive primitive argument))
11754 (branch
11755 CoreFunctionAppliedPrimitive
11756 primitive
11757 first
11758 .
11759 (constructor
11760 CoreFunctionInspection
11761 CoreFunctionAppliedPrimitive2
11762 primitive
11763 first
11764 argument))
11765 (branch
11766 CoreFunctionAppliedPrimitive2
11767 primitive
11768 first
11769 second
11770 .
11771 (constructor
11772 CoreFunctionInspection
11773 CoreFunctionAppliedPrimitive3
11774 primitive
11775 first
11776 second
11777 argument))
11778 (branch
11779 CoreFunctionAppliedPrimitive3
11780 primitive
11781 first
11782 second
11783 third
11784 .
11785 (constructor CoreFunctionInspection CoreFunctionOther))
11786 (branch CoreFunctionOther . (constructor CoreFunctionInspection CoreFunctionOther)))))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.