12248def inferCoreApplicationInspection =
12249 (lambda unrestricted argument : (family CoreTerm) .
12250 (lambda unrestricted functionResult : (family CoreInferenceResult) .
12251 (lambda unrestricted argumentResult : (family CoreInferenceResult) .
12252 (lambda unrestricted inspection : (family CoreFunctionInspection) .
12253 (eliminate
12254 CoreFunctionInspection
12255 (lambda unrestricted inspection : (family CoreFunctionInspection) .
12256 (family CoreInferenceResult))
12257 inspection
12258 (branch
12259 CoreFunctionLambda
12260 body
12261 .
12262 (inferCoreApplicationDefault argument functionResult argumentResult))
12263 (branch
12264 CoreFunctionPrimitive
12265 primitive
12266 .
12267 (inferCorePrimitiveApplication argument functionResult argumentResult primitive))
12268 (branch
12269 CoreFunctionAppliedPrimitive
12270 primitive
12271 effects
12272 .
12273 (inferCoreAppliedPrimitiveApplication
12274 argument
12275 functionResult
12276 argumentResult
12277 primitive
12278 effects))
12279 (branch
12280 CoreFunctionAppliedPrimitive2
12281 primitive
12282 effects
12283 resultType
12284 .
12285 (inferCoreAppliedPrimitive2Application
12286 argument
12287 functionResult
12288 argumentResult
12289 primitive
12290 effects
12291 resultType))
12292 (branch
12293 CoreFunctionAppliedPrimitive3
12294 primitive
12295 first
12296 second
12297 third
12298 .
12299 (inferCoreApplicationDefault argument functionResult argumentResult))
12300 (branch
12301 CoreFunctionOther
12302 .
12303 (inferCoreApplicationDefault argument functionResult argumentResult)))))))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.