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 34–41

sm86ProgramCount

Full file
34def sm86ProgramCount =
35  (lambda unrestricted program : (family SM86Program) .
36    (eliminate
37      SM86Program
38      (lambda unrestricted value : (family SM86Program) . Nat)
39      program
40      (branch SM86ProgramEnd . zero)
41      (branch SM86ProgramNext head tail ih_tail . (succ ih_tail))))

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.