52family SoftmaxSM86Extents : Type 0
53constructor SoftmaxSM86ExtentsValue
54field unrestricted softmaxSM86RowWidth : Nat
55field unrestricted softmaxSM86PrimaryInputElementsPerRow : Nat
56field unrestricted softmaxSM86SecondaryInputElementsPerRow : Nat
57field unrestricted softmaxSM86OutputElementsPerRow : Nat
58field unrestricted softmaxSM86ElementsPerThread : Nat
59field unrestricted softmaxSM86BlocksPerRow : Nat
60field unrestricted softmaxSM86ThreadsPerBlock : Nat
61field unrestricted softmaxSM86InputContract : (family SoftmaxSM86InputContract)
62field unrestricted softmaxSM86OutputContract : (family SoftmaxSM86OutputContract)
63field unrestricted softmaxSM86MaskContract : (family SoftmaxSM86MaskContract)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.