AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.SoftmaxSM86

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

2,114 lines259 declarations74.8 KiBSHA-256 5aa09b49868d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1742–1756

softmaxSM86ResourceCheckCons

Full file
1742def softmaxSM86ResourceCheckCons =
1743  (lambda unrestricted observed : Nat .
1744    (lambda unrestricted expected : Nat .
1745      (lambda unrestricted failure : (family SoftmaxSM86FailureCode) .
1746        (lambda unrestricted tail : (family SoftmaxSM86ResourceChecks) .
1747          (constructor
1748            SoftmaxSM86ResourceChecks
1749            SoftmaxSM86ResourceChecksNext
1750            (constructor
1751              SoftmaxSM86ResourceCheck
1752              SoftmaxSM86ResourceCheckValue
1753              observed
1754              expected
1755              failure)
1756            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.