AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

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

1,978 lines222 declarations72.8 KiBSHA-256 b399c7cf28cc
Download exact fileView at revisionf5034773ad4bb52133

def · lines 433–441

greedyArgmaxSM86WhenNot

Full file
433def greedyArgmaxSM86WhenNot =
434  (lambda unrestricted predicate : (family SM86Predicate) .
435    (lambda unrestricted body : (family SM86InstructionBody) .
436      (lambda unrestricted tail : (family SM86Program) .
437        (constructor
438          SM86Program
439          SM86ProgramNext
440          (sm86NegatedPredicatedInstruction predicate body)
441          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.