11991def inferCoreReturnApplication =
11992 (lambda unrestricted effects : (family CoreTerm) .
11993 (lambda unrestricted functionResult : (family CoreInferenceResult) .
11994 (lambda unrestricted valueResult : (family CoreInferenceResult) .
11995 (eliminate
11996 CoreInferenceResult
11997 (lambda unrestricted result : (family CoreInferenceResult) . (family CoreInferenceResult))
11998 functionResult
11999 (branch
12000 CoreInferred
12001 marker
12002 .
12003 (eliminate
12004 CoreInferenceResult
12005 (lambda unrestricted result : (family CoreInferenceResult) .
12006 (family CoreInferenceResult))
12007 valueResult
12008 (branch
12009 CoreInferred
12010 valueType
12011 .
12012 (constructor
12013 CoreInferenceResult
12014 CoreInferred
12015 (coreComputationType effects valueType)))
12016 (branch
12017 CoreInferenceFailed
12018 code
12019 .
12020 (constructor CoreInferenceResult CoreInferenceFailed code))))
12021 (branch
12022 CoreInferenceFailed
12023 code
12024 .
12025 (constructor CoreInferenceResult CoreInferenceFailed code))))))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.