AlphaGitHub
Source/Packages

Compiler.ApplicationBuilder

packages/compiler/src/Compiler/ApplicationBuilder.alpha

767 lines104 declarations33.8 KiBSHA-256 4afcba25576e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 376–384

applicationBuilderNamedCoreArgumentCount

Full file
376def applicationBuilderNamedCoreArgumentCount :
377  (pi unrestricted arguments : (family ApplicationBuilderNamedCoreArguments) . Nat) =
378  (lambda unrestricted arguments : (family ApplicationBuilderNamedCoreArguments) .
379    (eliminate ApplicationBuilderNamedCoreArguments
380      (lambda unrestricted value : (family ApplicationBuilderNamedCoreArguments) . Nat)
381      arguments
382      (branch ApplicationBuilderNamedCoreArgumentsEnd . zero)
383      (branch ApplicationBuilderNamedCoreArgumentsNext argument remaining induction .
384        (succ induction))))

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.