178def nativePhysicalProgramComposeTelemetry =
179 (lambda unrestricted trainingCommands : Nat .
180 (lambda unrestricted inferenceCommands : Nat .
181 (lambda unrestricted combinedCommands : Nat .
182 (lambda unrestricted relocatedCommands : Nat .
183 (lambda unrestricted relocatedOperations : Nat .
184 (lambda unrestricted relocatedOperands : Nat .
185 (lambda unrestricted arithmeticChecks : Nat .
186 (lambda unrestricted haltsRemoved : Nat .
187 (lambda unrestricted validations : Nat .
188 (lambda unrestricted failures : Nat .
189 (lambda unrestricted trainingIdentity : Bytes .
190 (lambda unrestricted inferenceIdentity : Bytes .
191 (lambda unrestricted combinedIdentity : Bytes .
192 (lambda unrestricted lastError : Bytes .
193 (constructor NativePhysicalProgramComposeTelemetry
194 NativePhysicalProgramComposeTelemetryValue
195 trainingCommands inferenceCommands combinedCommands
196 relocatedCommands relocatedOperations relocatedOperands
197 arithmeticChecks haltsRemoved validations failures zero
198 trainingIdentity inferenceIdentity combinedIdentity
199 lastError)))))))))))))))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.