AlphaGitHub
Source/Packages

Accelerator.SM86.Program

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/Program.alpha

68 lines5 declarations2.7 KiBSHA-256 df5487fd14e2
Download exact fileView at revisionf5034773ad4bb52133

def · lines 17–32

sm86ProgramAppend

Full file
17def sm86ProgramAppend =
18  (lambda unrestricted left : (family SM86Program) .
19    (eliminate
20      SM86Program
21      (lambda unrestricted value : (family SM86Program) .
22        (pi unrestricted right : (family SM86Program) . (family SM86Program)))
23      left
24      (branch SM86ProgramEnd . (lambda unrestricted right : (family SM86Program) . right))
25      (branch
26        SM86ProgramNext
27        head
28        tail
29        ih_tail
30        .
31        (lambda unrestricted right : (family SM86Program) .
32          (constructor SM86Program SM86ProgramNext head (ih_tail right))))))

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.