AlphaGitHub
Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

5,902 lines337 declarations199.2 KiBSHA-256 6d135c41813d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1286–1294

parserNaturalOr

Full file
1286def parserNaturalOr =
1287  (lambda unrestricted left : Nat .
1288    (lambda unrestricted right : Nat .
1289      (nat-eliminate
1290        (lambda unrestricted value : Nat . Nat)
1291        right
1292        (lambda unrestricted predecessor : Nat .
1293          (lambda unrestricted induction : Nat . (succ zero)))
1294        left)))

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.