56family ExactCrossEntropySM86Manifest : Type 0
57constructor ExactCrossEntropySM86ManifestValue
58field unrestricted exactCrossEntropyManifestVariant : (family ExactCrossEntropySM86Variant)
59field unrestricted exactCrossEntropyManifestExpectedInstructions : Nat
60field unrestricted exactCrossEntropyManifestExpectedEncodedBytes : Nat
61field unrestricted exactCrossEntropyManifestRegisters : Nat
62field unrestricted exactCrossEntropyManifestSharedBytes : Nat
63field unrestricted exactCrossEntropyManifestGridX : Nat
64field unrestricted exactCrossEntropyManifestBlockX : Nat
65field unrestricted exactCrossEntropyManifestABI : (family ExactCrossEntropySM86ABI)
66field unrestricted exactCrossEntropyManifestExtents : (family ExactCrossEntropySM86Extents)
67field unrestricted exactCrossEntropyManifestReduction0Start : Nat
68field unrestricted exactCrossEntropyManifestReduction0End : Nat
69field unrestricted exactCrossEntropyManifestReduction1Start : Nat
70field unrestricted exactCrossEntropyManifestReduction1End : Nat
71field unrestricted exactCrossEntropyManifestRows : Nat
72field unrestricted exactCrossEntropyManifestVocabulary : Nat
73field unrestricted exactCrossEntropyManifestVocabularyTileElements : Nat
74field unrestricted exactCrossEntropyManifestVocabularyTiles : Nat
75field unrestricted exactCrossEntropyManifestHostFallbackOperations : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.