7509def stepCoreNaturalWork =
7510 (lambda unrestricted successorCase : (family CoreTerm) .
7511 (lambda unrestricted state : (family CoreNaturalWorkState) .
7512 (eliminate
7513 CoreNaturalWorkState
7514 (lambda unrestricted current : (family CoreNaturalWorkState) .
7515 (family CoreNaturalWorkState))
7516 state
7517 (branch
7518 CoreNaturalWorkActive
7519 predecessor
7520 term
7521 budget
7522 .
7523 (finishCoreNaturalWorkStep
7524 predecessor
7525 (coreWorkBind
7526 (workApplyCoreFunctionOnce
7527 successorCase
7528 (constructor CoreTerm CoreNaturalLiteral predecessor)
7529 budget)
7530 (lambda unrestricted applied : (family CoreTerm) .
7531 (lambda unrestricted remaining : (family NormalizationBudget) .
7532 (workApplyCoreFunctionOnce applied term remaining))))))
7533 (branch CoreNaturalWorkStopped budget . state))))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.