AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/GreedyArgmaxSM86.alpha

1,985 lines222 declarations73.3 KiBSHA-256 a4ae889c3756
Download exact fileView at revision426597bda5753d86c4

def · lines 440–448

greedyArgmaxSM86WhenNot

Full file
440def greedyArgmaxSM86WhenNot =
441  (lambda unrestricted predicate : (family SM86Predicate) .
442    (lambda unrestricted body : (family SM86InstructionBody) .
443      (lambda unrestricted tail : (family SM86Program) .
444        (constructor
445          SM86Program
446          SM86ProgramNext
447          (sm86NegatedPredicatedInstruction predicate body)
448          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.