6552def workApplyCoreFunctionOnce =
6553 (lambda unrestricted function : (family CoreTerm) .
6554 (lambda unrestricted argument : (family CoreTerm) .
6555 (lambda unrestricted budget : (family NormalizationBudget) .
6556 (coreWorkCharge
6557 coreWorkOne
6558 budget
6559 (lambda unrestricted remaining : (family NormalizationBudget) .
6560 (eliminate
6561 CoreFunctionInspection
6562 (lambda unrestricted current : (family CoreFunctionInspection) .
6563 (family CoreWorkResult))
6564 (inspectCoreFunction function)
6565 (branch CoreFunctionLambda body . (workSubstituteCoreTop argument body remaining))
6566 (branch
6567 CoreFunctionPrimitive
6568 primitive
6569 .
6570 (constructor
6571 CoreWorkResult
6572 CoreWorkCompleted
6573 (constructor CoreTerm CoreApplication function argument)
6574 remaining))
6575 (branch
6576 CoreFunctionAppliedPrimitive
6577 primitive
6578 first
6579 .
6580 (constructor
6581 CoreWorkResult
6582 CoreWorkCompleted
6583 (constructor CoreTerm CoreApplication function argument)
6584 remaining))
6585 (branch
6586 CoreFunctionAppliedPrimitive2
6587 primitive
6588 first
6589 second
6590 .
6591 (constructor
6592 CoreWorkResult
6593 CoreWorkCompleted
6594 (constructor CoreTerm CoreApplication function argument)
6595 remaining))
6596 (branch
6597 CoreFunctionAppliedPrimitive3
6598 primitive
6599 first
6600 second
6601 third
6602 .
6603 (constructor
6604 CoreWorkResult
6605 CoreWorkCompleted
6606 (constructor CoreTerm CoreApplication function argument)
6607 remaining))
6608 (branch
6609 CoreFunctionOther
6610 .
6611 (constructor
6612 CoreWorkResult
6613 CoreWorkCompleted
6614 (constructor CoreTerm CoreApplication function argument)
6615 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.