AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.IndexedRowScatterSM86

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

926 lines148 declarations38.7 KiBSHA-256 c86946ffe8c6
Download exact fileView at revisionf5034773ad4bb52133

def · lines 746–769

indexedRowScatterSM86ManifestExpectedBytes

Full file
746def indexedRowScatterSM86ManifestExpectedBytes =
747  (lambda unrestricted manifest : (family IndexedRowScatterSM86Manifest) .
748    (eliminate
749      IndexedRowScatterSM86Manifest
750      (lambda unrestricted current : (family IndexedRowScatterSM86Manifest) . Nat)
751      manifest
752      (branch
753        IndexedRowScatterSM86ManifestValue
754        obligation
755        geometry
756        instructions
757        encodedBytes
758        registers
759        sharedBytes
760        gridX
761        gridY
762        blockX
763        abi
764        extents
765        reduction
766        atomic
767        hostFallback
768        .
769        encodedBytes)))

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.