AlphaGitHub
Source/Packages

Accelerator.SM86.Instruction

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

473 lines295 declarations25.9 KiBSHA-256 857d523cca6e
Download exact fileView at revision426597bda5753d86c4

def · lines 466–473

sm86NegatedPredicatedInstruction

Full file
466def sm86NegatedPredicatedInstruction =
467  (lambda unrestricted predicate : (family SM86Predicate) .
468    (lambda unrestricted body : (family SM86InstructionBody) .
469      (constructor
470        SM86Instruction
471        SM86InstructionValue
472        (constructor SM86InstructionGuard SM86InstructionWhenNot predicate)
473        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.