12444def inferCoreArithmeticOperands =
12445 (lambda unrestricted operation : (family CoreNaturalOperation) .
12446 (lambda unrestricted left : (family CoreTerm) .
12447 (lambda unrestricted right : (family CoreTerm) .
12448 (lambda unrestricted leftResult : (family CoreInferenceResult) .
12449 (lambda unrestricted rightResult : (family CoreInferenceResult) .
12450 (eliminate
12451 CoreInferenceResult
12452 (lambda unrestricted current : (family CoreInferenceResult) .
12453 (family CoreInferenceResult))
12454 (inferNaturalSuccessorType leftResult)
12455 (branch
12456 CoreInferred
12457 leftType
12458 .
12459 (eliminate
12460 CoreInferenceResult
12461 (lambda unrestricted current : (family CoreInferenceResult) .
12462 (family CoreInferenceResult))
12463 (inferNaturalSuccessorType rightResult)
12464 (branch
12465 CoreInferred
12466 rightType
12467 .
12468 (inferCoreNormalizedArithmetic
12469 coreNormalizationDefaultRounds
12470 operation
12471 left
12472 right))
12473 (branch
12474 CoreInferenceFailed
12475 code
12476 .
12477 (constructor CoreInferenceResult CoreInferenceFailed code))))
12478 (branch
12479 CoreInferenceFailed
12480 code
12481 .
12482 (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.