1892def softmaxSM86TelemetryFor =
1893 (lambda unrestricted variant : (family SoftmaxSM86Variant) .
1894 (lambda unrestricted observedInstructions : Nat .
1895 (lambda unrestricted observedEncodedBytes : Nat .
1896 (lambda unrestricted encodingFields : Nat .
1897 (lambda unrestricted encodingBits : Nat .
1898 (lambda unrestricted highestEncodedBit : Nat .
1899 (lambda unrestricted identityInputBytes : Nat .
1900 (lambda unrestricted identityOutputBytes : Nat .
1901 (constructor
1902 SoftmaxSM86Telemetry
1903 SoftmaxSM86TelemetryValue
1904 (softmaxSM86ManifestFor variant)
1905 observedInstructions
1906 observedEncodedBytes
1907 encodingFields
1908 encodingBits
1909 highestEncodedBit
1910 identityInputBytes
1911 identityOutputBytes
1912 (softmaxSM86ExpectedLoadsFor variant)
1913 softmaxSM86N1
1914 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.