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 771–781

indexedRowScatterSM86TelemetryFor

Full file
771def indexedRowScatterSM86TelemetryFor =
772  (lambda unrestricted geometry : (family IndexedRowScatterSM86Geometry) .
773    (lambda unrestricted observedInstructions : Nat .
774      (lambda unrestricted observedEncodedBytes : Nat .
775        (constructor
776          IndexedRowScatterSM86Telemetry
777          IndexedRowScatterSM86TelemetryValue
778          (indexedRowScatterSM86ManifestFor geometry)
779          observedInstructions
780          observedEncodedBytes
781          (succ zero)))))

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.