2086def softmaxSM86Build =
2087 (lambda unrestricted variant : (family SoftmaxSM86Variant) .
2088 (app
2089 (lambda unrestricted program : (family SM86Program) .
2090 (eliminate
2091 SoftmaxSM86ResourceGateResult
2092 (lambda unrestricted current : (family SoftmaxSM86ResourceGateResult) .
2093 (family SoftmaxSM86BuildResult))
2094 (softmaxSM86ResourceGate (softmaxSM86ManifestFor variant))
2095 (branch SoftmaxSM86ResourcesExact . (softmaxSM86BuildValidated variant program))
2096 (branch
2097 SoftmaxSM86ResourcesRejected
2098 code
2099 .
2100 (constructor
2101 SoftmaxSM86BuildResult
2102 SoftmaxSM86ContractFailed
2103 code
2104 (softmaxSM86EmptyTelemetry variant (sm86ProgramCount program))))))
2105 (softmaxSM86ProgramFor variant)))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.