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 2294–2303

decodeOrdinaryHead

Full file
2294def decodeOrdinaryHead =
2295  (lambda unrestricted functionTerm : (family Term) .
2296    (lambda unrestricted argumentTerm : (family Term) .
2297      (lambda unrestricted remaining : (family TermList) .
2298        (constructor
2299          TermDecodeResult
2300          TermDecoded
2301          (foldOrdinaryApplicationTail
2302            remaining
2303            (constructor Term Application functionTerm argumentTerm))))))

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.