AlphaGitHub
Source/Packages

Accelerator.SM86.Instruction

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

379 lines244 declarations20.7 KiBSHA-256 719a73fb5e57
Download exact fileView at revision3c600751929f56cd01

def · lines 372–379

sm86NegatedPredicatedInstruction

Full file
372def sm86NegatedPredicatedInstruction =
373  (lambda unrestricted predicate : (family SM86Predicate) .
374    (lambda unrestricted body : (family SM86InstructionBody) .
375      (constructor
376        SM86Instruction
377        SM86InstructionValue
378        (constructor SM86InstructionGuard SM86InstructionWhenNot predicate)
379        body)))

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.