AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.AdamWSM86

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

1,127 lines173 declarations39.3 KiBSHA-256 0c5cdf90be84
Download exact fileView at revision426597bda5753d86c4

def · lines 868–879

adamWF32AlignmentValid

Full file
868def adamWF32AlignmentValid =
869  (lambda unrestricted variant : (family AdamWF32SM86Variant) .
870    (lambda unrestricted logicalElements : Nat .
871      (eliminate
872        AdamWF32SM86Variant
873        (lambda unrestricted current : (family AdamWF32SM86Variant) . Nat)
874        variant
875        (branch
876          AdamWF32SM86Unbounded
877          .
878          (naturalIsZero (naturalModuloUnchecked logicalElements adamWF32N256)))
879        (branch AdamWF32SM86Bounded . (succ zero)))))

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.