AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.AdamWHalfSM86

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

428 lines73 declarations26.3 KiBSHA-256 9692515bc485
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 241–247

ahwBankBarrier

Full file
241def ahwBankBarrier = (lambda unrestricted b : Nat .
242  (nat-eliminate (lambda unrestricted n : Nat . (family SM86Barrier)) saSB0
243    (lambda unrestricted p : Nat . (lambda unrestricted ignored : (family SM86Barrier) .
244      (nat-eliminate (lambda unrestricted n : Nat . (family SM86Barrier)) saSB1
245        (lambda unrestricted p2 : Nat . (lambda unrestricted ignored2 : (family SM86Barrier) .
246          (nat-eliminate (lambda unrestricted n : Nat . (family SM86Barrier)) saSB2
247            (lambda unrestricted p3 : Nat . (lambda unrestricted ignored3 : (family SM86Barrier) . saSB3)) p2))) p))) b))

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.