AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.StallCompaction

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

269 lines32 declarations15.0 KiBSHA-256 46e30c2c60d2
Download exact fileView at revisionf5034773ad4bb52133

def · lines 165–168

scIssueMake

Full file
165def scIssueMake =
166  (lambda unrestricted writes : (family StdList Nat) .
167    (lambda unrestricted predicateWrites : (family StdList Nat) .
168      (stdListAppend Nat writes predicateWrites)))

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.