1067def nativePhysicalProgramComposeFailure =
1068 (lambda unrestricted error : (family NativePhysicalProgramComposeErrorCode) .
1069 (lambda unrestricted trainingCommands : Nat .
1070 (lambda unrestricted inferenceCommands : Nat .
1071 (lambda unrestricted combinedCommands : Nat .
1072 (lambda unrestricted relocatedCommands : Nat .
1073 (lambda unrestricted relocatedOperations : Nat .
1074 (lambda unrestricted relocatedOperands : Nat .
1075 (lambda unrestricted arithmeticChecks : Nat .
1076 (lambda unrestricted haltsRemoved : Nat .
1077 (lambda unrestricted validations : Nat .
1078 (lambda unrestricted trainingIdentity : Bytes .
1079 (lambda unrestricted inferenceIdentity : Bytes .
1080 (lambda unrestricted combinedIdentity : Bytes .
1081 (constructor NativePhysicalProgramComposeResult
1082 NativePhysicalProgramCompositionRejected error
1083 (app
1084 (app
1085 (app
1086 (app
1087 (app
1088 (app
1089 (app
1090 (app
1091 (app
1092 (app
1093 (app
1094 (app
1095 (app
1096 (app nativePhysicalProgramComposeTelemetry
1097 trainingCommands)
1098 inferenceCommands)
1099 combinedCommands)
1100 relocatedCommands)
1101 relocatedOperations)
1102 relocatedOperands)
1103 arithmeticChecks)
1104 haltsRemoved)
1105 validations)
1106 (succ zero))
1107 trainingIdentity)
1108 inferenceIdentity)
1109 combinedIdentity)
1110 (app nativePhysicalProgramComposeErrorCodeBytes error))))))))))))))))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.