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 254–272

namedCoreApp4

Full file
254def namedCoreApp4 :
255  (pi unrestricted function : (family NamedCoreTerm) .
256    (pi unrestricted first : (family NamedCoreTerm) .
257      (pi unrestricted second : (family NamedCoreTerm) .
258        (pi unrestricted third : (family NamedCoreTerm) .
259          (pi unrestricted fourth : (family NamedCoreTerm) .
260            (family NamedCoreTerm)))))) =
261  (lambda unrestricted function : (family NamedCoreTerm) .
262    (lambda unrestricted first : (family NamedCoreTerm) .
263      (lambda unrestricted second : (family NamedCoreTerm) .
264        (lambda unrestricted third : (family NamedCoreTerm) .
265          (lambda unrestricted fourth : (family NamedCoreTerm) .
266            (constructor NamedCoreTerm NamedCoreApplication
267              (constructor NamedCoreTerm NamedCoreApplication
268                (constructor NamedCoreTerm NamedCoreApplication
269                  (constructor NamedCoreTerm NamedCoreApplication function first)
270                  second)
271                third)
272              fourth))))))

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.