10588def workReduceCoreApplication =
10589 (lambda unrestricted function : (family CoreTerm) .
10590 (lambda unrestricted argument : (family CoreTerm) .
10591 (lambda unrestricted budget : (family NormalizationBudget) .
10592 (coreWorkCharge
10593 coreWorkOne
10594 budget
10595 (lambda unrestricted remaining : (family NormalizationBudget) .
10596 (eliminate
10597 CoreFunctionInspection
10598 (lambda unrestricted current : (family CoreFunctionInspection) .
10599 (family CoreWorkResult))
10600 (inspectCoreFunction function)
10601 (branch CoreFunctionLambda body . (workSubstituteCoreTop argument body remaining))
10602 (branch
10603 CoreFunctionPrimitive
10604 primitive
10605 .
10606 (workReduceDirectCorePrimitive primitive argument remaining))
10607 (branch
10608 CoreFunctionAppliedPrimitive
10609 primitive
10610 first
10611 .
10612 (workReduceAppliedCorePrimitive primitive first argument remaining))
10613 (branch
10614 CoreFunctionAppliedPrimitive2
10615 primitive
10616 first
10617 second
10618 .
10619 (constructor
10620 CoreWorkResult
10621 CoreWorkCompleted
10622 (corePrimitiveApplication3 primitive first second argument)
10623 remaining))
10624 (branch
10625 CoreFunctionAppliedPrimitive3
10626 primitive
10627 first
10628 second
10629 third
10630 .
10631 (workReduceAppliedEliminator primitive first second third argument remaining))
10632 (branch
10633 CoreFunctionOther
10634 .
10635 (constructor
10636 CoreWorkResult
10637 CoreWorkCompleted
10638 (constructor CoreTerm CoreApplication function argument)
10639 remaining))))))))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.