AlphaGitHub
Source/Packages

Compiler.DependentCore

packages/compiler/src/Compiler/DependentCore.alpha

12,943 lines498 declarations489.0 KiBSHA-256 ef207b0de796
Download exact fileView at revisionf5034773ad4bb52133

def · lines 7584–7597

finishCoreNaturalWork

Full file
7584def finishCoreNaturalWork =
7585  (lambda unrestricted state : (family CoreNaturalWorkState) .
7586    (eliminate
7587      CoreNaturalWorkState
7588      (lambda unrestricted current : (family CoreNaturalWorkState) . (family CoreWorkResult))
7589      state
7590      (branch
7591        CoreNaturalWorkActive
7592        predecessor
7593        term
7594        budget
7595        .
7596        (constructor CoreWorkResult CoreWorkCompleted term budget))
7597      (branch CoreNaturalWorkStopped budget . (constructor CoreWorkResult CoreWorkExhausted budget))))

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.