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 4399–4416

countCoreReductionRound

Full file
4399def countCoreReductionRound =
4400  (lambda unrestricted result : (family CoreReductionResult) .
4401    (eliminate
4402      CoreReductionResult
4403      (lambda unrestricted value : (family CoreReductionResult) . (family CoreReductionResult))
4404      result
4405      (branch
4406        CoreReductionCompleted
4407        term
4408        rounds
4409        .
4410        (constructor CoreReductionResult CoreReductionCompleted term (succ rounds)))
4411      (branch
4412        CoreReductionExhausted
4413        term
4414        rounds
4415        .
4416        (constructor CoreReductionResult CoreReductionExhausted term (succ rounds)))))

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.