1 when a tile serves the product: it divides C, its stages divide K's
steps, its threads copy its operand tiles evenly, its registers fit the
SM86 file, and its stages fit the shared memory -- every compatible
card's (Coppelius.SM86Capability), not only the GB10's
557def coppeliusTiledTileServes = (lambda unrestricted t : (family TiledProductTile) .
558 (lambda unrestricted m : Nat . (lambda unrestricted n : Nat . (lambda unrestricted k : Nat .
559 (tiledProductSM86ShapeAdmitted t m n k coppeliusSM86CompatSharedBytesPerBlock)))))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.