the shared memory a block may use on every compatible card: compute
capability 8.6's 48 KiB of static shared memory per block (the RTX 3090
profile's supply; the GB10 gives more). Coppelius's one realization
serves both, so its tiles fit this.
27def coppeliusSM86CompatSharedBytesPerBlock : Nat = sm86StaticSharedBytesPerBlockThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.