59family AdamWF32SM86Manifest : Type 0
60constructor AdamWF32SM86ManifestValue
61field unrestricted adamWF32ManifestVariant : (family AdamWF32SM86Variant)
62field unrestricted adamWF32ManifestExpectedInstructions : Nat
63field unrestricted adamWF32ManifestExpectedEncodedBytes : Nat
64field unrestricted adamWF32ManifestRegisters : Nat
65field unrestricted adamWF32ManifestSharedBytes : Nat
66field unrestricted adamWF32ManifestGridX : Nat
67field unrestricted adamWF32ManifestBlockX : Nat
68field unrestricted adamWF32ManifestABI : (family AdamWF32SM86ABI)
69field unrestricted adamWF32ManifestExtents : (family AdamWF32SM86Extents)
70field unrestricted adamWF32ManifestSetBarrierControls : Nat
71field unrestricted adamWF32ManifestWaitSpecialsMask : Nat
72field unrestricted adamWF32ManifestWaitLoadsMask : Nat
73field unrestricted adamWF32ManifestWaitMufuMask : Nat
74field unrestricted adamWF32ManifestGuardedMemoryInstructions : Nat
75field unrestricted adamWF32ManifestHostFallbackOperations : 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.